Specification and analysis of real-time systems with PARAGON

Author： Sokolsky O.  

Publisher： Springer Publishing Company

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.7, Iss.1-4, 1999-01, pp. : 211-234

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

Specification and Timing Analysis of Real-Time Systems

By Wang Shuhua   Tsai Grace  

Real-Time Systems, Vol. 28, Iss. 1, 2004-10 ,pp. : 69-90

Springer Publishing Company

Access to resources Recommend Favorite

Specification and analysis of timing requirements for real-time systems in the CBD approach

By Lee Ho   Lee Woo   Chae Heung   Kwon Yong  

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 135-158

Springer Publishing Company

Access to resources Recommend Favorite

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

Compositional specification of real time embedded systems by priority time Petri Nets

By Mahfoudhi Adel   Hadj Kacem Yessine   Karamti Walid   Abid Mohamed  

The Journal of Supercomputing, Vol. 59, Iss. 3, 2012-03 ,pp. : 1478-1503

Springer Publishing Company

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