The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2001)
Boca Raton, Florida
Oct. 22, 2001 to Oct. 24, 2001
ISSN: 1530-2059
ISBN: 0-7695-1275-5
TABLE OF CONTENTS
Keynotes
Panel
Formal Methods
Transportation
Testing
Security
Systems
Railway Systems (Experience Reports)
Fast Abstracts

Author Index (PDF)

pp. 0237
99 ms
(Ver )