Related content

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

By Madl Gabor   Abdelwahed Sherif   Schmidt Douglas  

Real-Time Systems, Vol. 33, Iss. 1-3, 2006-07 ,pp. : 77-100

Springer Publishing Company

Access to resources Recommend Favorite

A formal framework for black-box conformance testing of distributed real-time systems

By Krichen Moez  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 26-43

Inderscience Publishers

Access to resources Recommend Favorite

A Formal Framework for Scalable Component-Based Systems

By  

International Journal of Information System Modeling and Design (IJISMD), Vol. 8, Iss. 1, 2017-01 ,pp. : 1-23

IGI Global_journal

Access to resources Recommend Favorite

A survey of formal verification methods and tools for embedded and real-time systems

By Cheng Albert Mo Kim  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 184-195

Inderscience Publishers

Access to resources Recommend Favorite

Modeling and formal verification of embedded systems based on a Petri net representation

By Cortes L.A.   Eles P.   Peng Z.  

Journal of Systems Architecture, Vol. 49, Iss. 12, 2003-12 ,pp. : 571-598

Elsevier

Access to resources Recommend Favorite