UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module
| Cím | UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2003 |
| Szerzők | Pataricza, A., Majzik, I., Huszerl, G., and Várnai, G. |
| Szerkesztő | Tarnai, G., and Schnieder, E. |
| Konferencia neve | Formal Methods for Railway Operation and Control Systems |
| Kiadás dátuma | 2003 |
| Kiadó | L'Harmattan Kiadó |
| Konferencia helyszíne | Budapest |
