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

HASE 1998: Washington, D.C., USA

3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings. IEEE Computer Society 1998, ISBN 0-8186-9221-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/hase/1998,
  title     = {3rd IEEE International Symposium on High-Assurance Systems Engineering
               (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-9221-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1: Formal/Analytic Methods for Dependability

Session 2: Invited Speaker

Panel Session I

Keynote Address III

Session 3: Reliability Modeling

Session 4: Invited Speaker

Session 5: Formal Methods

Session 6: State-of-the-Art Talk

Keynote Address IV

Session 7: Design for High Assurance

Session 8: Fault Analysis and Predication

Session 9: Testing and Analysis of High-Assurance Systems

Session 10: High-Assurance in Intelligent Systems

Copyright © Mon Nov 2 20:38:55 2009 by Michael Ley (ley@uni-trier.de)