Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDAnnals of Software Engineering, Volume 7
Volume 7, 1999
- Farokh B. Bastani:
Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. 5-24
- Edward A. Lee:
Modeling Concurrent Real-Time Processes Using Discrete Events. 25-45 - Yi Deng, Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. 47-70 - Rick Kazman, Mark Klein, Paul C. Clements:
Evaluating Software Architectures for Real-Time Systems. 71-93 - Jeffrey J. P. Tsai, Kuang Xu:
An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. 95-126 - Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics. 127-155 - Daniel E. Cooke, David A. Dampier:
A Real-Time Version of SequenceL. 157-176 - Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer:
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. 177-210 - Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah:
Specification and Analysis of Real-Time Systems with PARAGON. 211-234 - Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang:
ATOM: An Object-based Formal Method for Real-Time Systems. 235-256 - Brian Nielsen, Gul Agha:
Towards Reusable Real-Time Objects. 257-282 - Yingxu Wang
, Graham King, Dilip Patel, Shushma Patel, Alec Dorling:
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests. 283-296
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2022-10-04 21:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
