dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Keynotes

Panel

Formal Methods

Transportation

Testing

Security

Systems

Railway Systems (Experience Reports)

Last update Wed May 22 23:40:25 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page