HASE 1997: Washington, D.C., USA

Realism Versus Optimism: Integrating and Evaluating Fault Tolerance and Formal Methods

Key Applications in Embedded Systems

Integrated Design and Development of High-Assurance Systems

Tools and Techniques for Formal Specification and Their Use in the Real World

High-Assurance Techniques and Their Role in Real-World Applications

Practical Methods For Designing, Implementing, then Automatically Analyzing Embedded Real-Time Software

Integrating Specification, Design, and Evaluation Techniques for High-Assurance Systems

Key Applications in High-Assurance Systems

Testing, Verification, and QoS Control for High-Assurance Systems

Toward the Integration of Multiple Criteria in High-Assurance Systems

maintained by Schloss Dagstuhl LZI at University of Trier