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 BibTeX


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 © Sat May 16 23:14:16 2009 by Michael Ley (ley@uni-trier.de)