UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module
| Title | UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Pataricza, A., Majzik, I., Huszerl, G., and Várnai, G. |
| Editor | Tarnai, G., and Schnieder, E. |
| Conference Name | Formal Methods for Railway Operation and Control Systems |
| Date Published | 2003 |
| Publisher | L'Harmattan Kiadó |
| Conference Location | Budapest |
