Automatic Code Generation Based on Formally Analyzed UML Statechart Models
| Cím | Automatic Code Generation Based on Formally Analyzed UML Statechart Models |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2003 |
| Szerzők | Pintér, G., and Majzik, I. |
| 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 |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2003-forms-automatic-code-generation-based-on-formally-analyzed-uml-statechart-models.pdf |
