Fourth IEEE International Symposium on High Assurance Systems Engineering |
 |
November 17-19, 1999, Holiday Inn National Airport, Washington DC, USA (Conference Home)
UML for High Assurance Systems
- M. Dal Cin, G. Huszerl, K. Kosmidis:
Evaluation of Safety-Critical Systems based on Guarded Statecharts, (BibTeX entry).
- S. Gnesi, Diego Latella, Mieke Massink:
Model Checking UML Statechart Diagrams using JACK, (BibTeX entry).
- W. E. McUmber, Betty H. C. Cheng:
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL, (BibTeX entry).
- A. Bondavalli, I. Majzik, I. Mura:
Automatic Dependability Analysis for Supporting Design Decisions in UML, (BibTeX entry).
[Home
| Search Author
| Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.