Qinna, a Component-Based QoS Architecture
A Contracting System for Hierarchical Components
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
Case Study: NASA Space Shuttle Flight Control Software
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Verification of Solid State Interlocking Programs
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Scheme Plans Using CSP||B
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
The Discipline of Defining the Software Product
ENTREPRISE II: A PCTE Integrated Project Support Environment
Integrated Formal Verification and Validation of Safety Critical Software
Ada Run Time System Certification for Avionics Applications
The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems
Potential Software Failures Methodology Analysis
DSSA-ADAGE: An Environment for Architecture-Based Avionics Development
A Distributed Object-Based Environment in Ada
A Disciplined Approach to Software Test and Evaluation
Design of a Thin Wire Real-Time Multiprocessor Operating System