Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking (2001)
Boca Raton, Florida
Oct. 22, 2001 to Oct. 24, 2001
ISSN: 1530-2059
ISBN: 0-7695-1275-5
TABLE OF CONTENTS
HASE 2001 Organizing Committees (PDF)
pp. ix
Keynotes
Panel
Formal Methods
Test-Sequence Generation from Formal Requirement Models (Abstract)
pp. 0023
Transportation
Testing
Automating Techniques for Inspecting High Assurance Systems (Abstract)
pp. 0117
Genetic Programming Model for Software Quality Classification (Abstract)
pp. 0127
Security
Systems
The SASHA Architecture for Network-Clustered Web Servers (Abstract)
pp. 0163
Railway Systems (Experience Reports)
Fast Abstracts
Author Index (PDF)
pp. 0237