Period of time： 2013年2期
Publisher： Springer Publishing Company
Founded in： 1992
Total resources： 27
ISSN： 0925-9856
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Methods in System Design,volume 28,issue 2
Menu
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems
By Shukla Sandeep,Theobald Michael in (2006)
Formal Methods in System Design,volume 28,issue 2 , Vol. 28, Iss. 2, 2006-03 , pp.
Access to resources
Recommend
A Framework for Modeling the Distributed Deployment of Synchronous Designs
By Carloni Luca,Sangiovanni-Vincentelli Alberto in (2006)
Formal Methods in System Design,volume 28,issue 2 , Vol. 28, Iss. 2, 2006-03 , pp.Concurrency in Synchronous Systems
By Potop-Butucaru Dumitru,Caillaud Benoît,Benveniste Albert in (2006)
Formal Methods in System Design,volume 28,issue 2 , Vol. 28, Iss. 2, 2006-03 , pp.An algebraic theory for behavioral modeling and protocol synthesis in system design
By Talpin Jean-Pierre,Guernic Paul in (2006)
Formal Methods in System Design,volume 28,issue 2 , Vol. 28, Iss. 2, 2006-03 , pp.Reasoning about synchronization in GALS systems
By Chakraborty Supratik,Mekie Joycee,Sharma Dinesh in (2006)
Formal Methods in System Design,volume 28,issue 2 , Vol. 28, Iss. 2, 2006-03 , pp.A predictive synchronizer for periodic clock domains
By Frank Uri,Kapshitz Tsachy,Ginosar Ran in (2006)
Formal Methods in System Design,volume 28,issue 2 , Vol. 28, Iss. 2, 2006-03 , pp.