Related content

SoSyM Special Section on Software Engineering and Formal Methods

By Cuellar Jorge   Liu Zhiming  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 37-38

Springer Publishing Company

Access to resources Recommend Favorite

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 Section on Heuristic Methods in Image and Signal Processing

By Bourbakis N.G.   Tsoukalas L.  

Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 6, 1997-12 ,pp. : 517-517

Elsevier

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