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

Keynote

High Assurance Requirements

System Design and Architectures

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

Testing

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

Panel

Empirical Analysis

Formal Verification and Validation

Fault Tolerance

Security

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)