HASE 1996: Niagara, Canada

Keynote Speech

Specification and Testing of High-Assurance Systems

Panel I

Quality and High-Assurance

Concurrency and High-Assurance

Keynote Speech

High-Assurance Execution Environments

Speech

Security, Reliability and High-Assurance

High-Assurance Potpourri