Author： Graf Susanne Haugen Oystein Ober Ileana Selic Bran
Publisher： Springer Publishing Company
ISSN： 1433-2779
Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.2, 2006-04, pp. : 93-96
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
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. :
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :