Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.28, Iss.2, 2006-03, pp. : 91-92

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Introduction: Special Issue on Partial Order in Formal Methods

By Peled Doron

Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. : 5-6

Springer Publishing Company

Access to resources Recommend Favorite

Preface: Special Issue on Nasa Formal Methods Symposium 2009

By Denney Ewen

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 171-172

Springer Publishing Company

Access to resources Recommend Favorite

Special issue: 2nd World Congress on Formal Methods

By Cavalcanti Ana

Formal Methods in System Design, Vol. 37, Iss. 2-3, 2010-12 ,pp. : 93-94

Springer Publishing Company

Access to resources Recommend Favorite

Special Section on “Leveraging Formal Methods”

By Margaria Tiziana Steffen Bernhard

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 467-469

Springer Publishing Company

Access to resources Recommend Favorite

Reasoning about synchronization in GALS systems

By Chakraborty Supratik Mekie Joycee Sharma Dinesh

Formal Methods in System Design, Vol. 28, Iss. 2, 2006-03 ,pp. : 153-169

Springer Publishing Company

Access to resources Recommend Favorite