HASE 2001:
Albuquerque,
NM,
USA
6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings.
IEEE Computer Society 2001, ISBN 0-7695-1275-5 
@proceedings{DBLP:conf/hase/2001,
title = {6th IEEE International Symposium on High-Assurance Systems Engineering
(HASE 2001), Special Topic: Impact of Networking, 24-26 October
2001, Albuquerque, NM, USA, Proceedings},
booktitle = {HASE},
publisher = {IEEE Computer Society},
year = {2001},
isbn = {0-7695-1275-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Keynotes
- John C. Knight:
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction.
3-4
- Arnold W. Pittler:
Keynote Speaker.
4
- Jeffrey M. Voas:
Why Testing under Expected Operational Scenarios is Not Sufficient.
5-
Panel
Formal Methods
Transportation
- Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System.
55-64
- Farokh B. Bastani, I-Ling Yen, Sung Kim:
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems.
65-74
- Edgar Nett, Martin Gergeleit, Michael Mock:
Mechanisms for a Reliable Cooperation of Vehicles.
75-81
- Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara:
Verification of Assurance of Space On-Board Distributed Computer System.
82-
Testing
Security
Systems
Railway Systems (Experience Reports)
Copyright © Mon Nov 9 23:31:23 2009
by Michael Ley (ley@uni-trier.de)
