dblp.uni-trier.de www.uni-trier.de

HASE 2007: Dallas, Texas, USA

Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. IEEE Computer Society 2007 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML


High Assurance Requirements

System Design and Architectures

State-of-the-Art Presentation. Security Systems Engineering


Security Assurance and Policies

Distributed Systems

High Assurance Embedded Systems

State-of-the-Art Presentation. Software Engineering for High Assurance Systems

Fault Tolerance and Availability


Empirical Analysis

Formal Verification and Validation

Fault Tolerance


Requirements and Design

Web, E-Commerce, and Enterprise

Quality, Reliability, and Safety

Formal Methods and Its Applications

Systems and Networks

Systems and Applications

Copyright © Mon Nov 2 20:38:54 2009 by Michael Ley (ley@uni-trier.de)