Journals in DBLP
Farokh B. Bastani Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Edward A. Lee Modeling Concurrent Real-Time Processes Using Discrete Events. [Citation Graph (0, 0)][DBLP ] Journal ] Yi Deng , Jiacun Wang Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. [Citation Graph (0, 0)][DBLP ] Journal ] Rick Kazman , Mark Klein , Paul C. Clements Evaluating Software Architectures for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Jeffrey J. P. Tsai , Kuang Xu An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. [Citation Graph (0, 0)][DBLP ] Journal ] Girish Bhat , Rance Cleaveland , Gerald Lüttgen A Practical Approach to Implementing Real-Time Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel E. Cooke , David A. Dampier A Real-Time Version of SequenceL. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Z. Kolano , Zhe Dang , Richard A. Kemmerer The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. [Citation Graph (0, 0)][DBLP ] Journal ] Oleg Sokolsky , Insup Lee , Hanêne Ben-Abdallah Specification and Analysis of Real-Time Systems with PARAGON. [Citation Graph (0, 0)][DBLP ] Journal ] Hussein Zedan , Antonio Cau , Zhiqiang Chen , Hongji Yang ATOM: An Object-based Formal Method for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Brian Nielsen , Gul Agha Towards Reusable Real-Time Objects. [Citation Graph (0, 0)][DBLP ] Journal ] Yingxu Wang , Graham King , Dilip Patel , Shushma Patel , Alec Dorling On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests. [Citation Graph (0, 0)][DBLP ] Journal ] 