HASE 1997:
Washington,
D.C.,
USA
2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings.
IEEE Computer Society 1997, ISBN 0-8186-7971-9 BibTeX
@proceedings{DBLP:conf/hase/1997,
title = {2nd High-Assurance Systems Engineering Workshop (HASE '97), August
11-12, 1997, Washington, DC, USA, Proceedings},
booktitle = {HASE},
publisher = {IEEE Computer Society},
year = {1997},
isbn = {0-8186-7971-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Realism Versus Optimism:
Integrating and Evaluating Fault Tolerance and Formal Methods
Key Applications in Embedded Systems
Integrated Design and Development of High-Assurance Systems
Tools and Techniques for Formal Specification and Their Use in the Real World
High-Assurance Techniques and Their Role in Real-World Applications
Practical Methods For Designing,
Implementing,
then Automatically Analyzing Embedded Real-Time Software
- Mario Dal Cin:
Verifying Fault-Tolerant Behavior of State Machines.
94-99
Electronic Edition (IEEE Computer Society DL) BibTeX
- Minsoon Kweon, Soomyung Park, Sangjin Joung, Sunyoung Han, Moon-hae Kim:
Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW.
100-103
Electronic Edition (IEEE Computer Society DL) BibTeX
- Anouar Jamoussi:
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases.
104-107
Electronic Edition (IEEE Computer Society DL) BibTeX
- F. Maurice, Abdelmalek Benzekri, Yves Raynaud:
Evaluation and Improvement of Software Products and Processes based on Measurement.
108-113
Electronic Edition (IEEE Computer Society DL) BibTeX
- S. Sanyal, Viren Shah, Samrat Bhattacharya:
Framework of a Software Reliability Engineering Tool.
114-119
Electronic Edition (link) BibTeX
- Zeyad Alkhalifa, V. S. S. Nair:
Design of a Portable Control-Flow Checking Technique.
120-123
Electronic Edition (link) BibTeX
- Edgar Nett, Michael Mock:
A Recovery Model for Extended Real-Time Transactions.
0124-129
Electronic Edition (IEEE Computer Society DL) BibTeX
- William G. Castaneda:
Software Complexity Analysis on Department of Defense Real-Time Systems.
130-
Electronic Edition (link) BibTeX
Integrating Specification,
Design,
and Evaluation Techniques for High-Assurance Systems
Key Applications in High-Assurance Systems
Testing,
Verification,
and QoS Control for High-Assurance Systems
Toward the Integration of Multiple Criteria in High-Assurance Systems
Copyright © Sat May 16 23:14:17 2009
by Michael Ley (ley@uni-trier.de)
