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 BibTeX
@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
- Hideo Hanamura, Kinji Mori:
Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System Techniques.
288-295
Electronic Edition (IEEE Computer Society DL) BibTeX
- Shashi Phoha, Eugene Eberbach, Eileen Peluso, Atilla P. Kiraly:
Coordination of Engineering Design Agents for High Assurance in Complex Dynamic System Design.
296-303
Electronic Edition (IEEE Computer Society DL) BibTeX
- Manuel Aparicio IV, Peter Herman, Wendy Stephens, Anuj K. Jain, Munindar P. Singh:
Agent Information Contracts within Virtual Private Networks.
304-311
Electronic Edition (IEEE Computer Society DL) BibTeX
- Rajiv Khosla:
Human-Centered Virtual Machine of Problem Solving Agents, Software Agents, Intelligent Agents and Objects.
312-
Electronic Edition (IEEE Computer Society DL) BibTeX
Copyright © Sat May 16 23:14:17 2009
by Michael Ley (ley@uni-trier.de)