Quantitative analysis of dependability critical systems based on UML statechart models

Huszerl Gábor, Majzik István. Quantitative analysis of dependability critical systems based on UML statechart models. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 83-92, IEEE Computer Society, 2000. [doi]

Authors

Huszerl Gábor

This author has not been identified. Look up 'Huszerl Gábor' in Google

Majzik István

This author has not been identified. Look up 'Majzik István' in Google