Special issue: 2nd World Congress on Formal Methods

ISSN： 0925-9856

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

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

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

By Shukla Sandeep Theobald Michael

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

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 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

Special Issue The 2nd Web Information Systems Engineering Conference (WISE'01)

World Wide Web, Vol. 4, Iss. 3, 2001-01 ,pp. : 147-149

Springer Publishing Company

Access to resources Recommend Favorite