Checking General Safety Criteria on UML Statecharts

CímChecking General Safety Criteria on UML Statecharts
Közlemény típusaConference Paper
Kiadás éve2001
SzerzőkPap, Z., Majzik, I., and Pataricza, A.
Konferencia neveComputer Safety, Reliability and Security
Kiadás dátuma2001
KiadóSpringer-Verlag
Konferencia helyszíneBerlin ; Heidelberg