| Title | Automatic Code Generation Based on Formally Analyzed UML Statechart Models |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Pintér, G., and Majzik, I. |
| 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 |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2003-forms-automatic-code-generation-based-on-formally-analyzed-uml-statechart-models.pdf |
