Author： Lee Ho Lee Woo Chae Heung Kwon Yong
Publisher： Springer Publishing Company
ISSN： 0922-6443
Source： Real-Time Systems, Vol.36, Iss.1-2, 2007-07, pp. : 135-158
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. :
Access to resources
Recommend
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. :