Introduction: Special Issue on Partial Order in Formal Methods

ISSN： 0925-9856

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

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

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

Special Issue on Mathematical Methods in Medical Imaging: Guest Editors' Introduction

By Gelb Anne

Journal of Scientific Computing, Vol. 50, Iss. 3, 2012-03 ,pp. : 493-494

Springer Publishing Company

Access to resources Recommend Favorite