Completeness and Consistency Analysis of UML Statechart  Specifications

Link to refer to this document:

Title: Completeness and Consistency Analysis of UML Statechart Specifications
Author: Pap Zs; Majzik, István; Pataricza, András; Szegi A
Date of issue: 2000
Publisher: BME VIK TTT
Language: en
Identifiers: MTMT: 2614708
Title of the container document: 11th European Workshop on Dependable Computing (EWDC-11)
Document type: egyéb konferenciaközlemény
Document genre: konferenciaközlemény