Checking General Safety Criteria on UML Statecharts
Cím | Checking General Safety Criteria on UML Statecharts |
Közlemény típusa | Conference Paper |
Kiadás éve | 2001 |
Szerzők | Pap, Z., Majzik, I., and Pataricza, A. |
Konferencia neve | Computer Safety, Reliability and Security |
Kiadás dátuma | 2001 |
Kiadó | Springer-Verlag |
Konferencia helyszíne | Berlin ; Heidelberg |