Author: Gumzej Roman Lu Shourong
Publisher: Springer Publishing Company
ISSN: 0922-6443
Source: Real-Time Systems, Vol.35, Iss.3, 2007-04, pp. : 181-208
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
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. :
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :