Related content

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

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

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems

By Lampka Kai  

Design Automation for Embedded Systems, Vol. 14, Iss. 3, 2010-09 ,pp. : 193-227

Springer Publishing Company

Access to resources Recommend Favorite

Oris: a tool for modeling, verification and evaluation of real-time systems

By Bucci Giacomo   Carnevali Laura   Ridi Lorenzo   Vicario Enrico  

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 391-403

Springer Publishing Company

Access to resources Recommend Favorite

An automatic system designed for the monitoring of cutting tools using real-time control concepts and fuzzy approaches

By Ip Ralph W. L.   Hui I. K.   Lau Henry   Chan Felix T. S.  

International Journal of Computer Integrated Manufacturing, Vol. 15, Iss. 5, 2002-09 ,pp. : 379-393

Taylor & Francis Ltd

Access to resources Recommend Favorite