Author： Ölveczky Peter Meseguer José Talcott Carolyn
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.29, Iss.3, 2006-11, pp. : 253-293
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Semantics and pragmatics of Real-Time Maude
LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. :
Access to resources
Recommend
Specification and Timing Analysis of Real-Time Systems
Real-Time Systems, Vol. 28, Iss. 1, 2004-10 ,pp. :
Specification and analysis of real-time systems with PARAGON
By Sokolsky O.
Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. :
Modeling distributed real-time applications with specification PEARL
Real-Time Systems, Vol. 35, Iss. 3, 2007-04 ,pp. :