Period of time: 2002年1-4期
Publisher: Springer Publishing Company
Founded in: 1995
Total resources: 12
ISSN: 1022-7091
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Software Engineering,volume 7,issue 1-4
Menu
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.Evaluating software architectures for real-time systems
By Kazman R.,Klein M.,Clements P. in (1999)
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.An empirical evaluation of deadlock detection in software architecture specifications
By Tsai J.J.P.,Xu K. in (1999)
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.A practical approach to implementing real-time semantics
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.A real-time version of SequenceL
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.The design and analysis of real-time systems using the ASTRAL software development environment
By Kolano P.Z.,Dang Z.,Kemmerer R.A. in (1999)
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering,volume 7,issue 1-4 , Vol. 7, Iss. 1-4, 1999-01 , pp.