HASE 1996: Niagara, Canada

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics