Run-time Verification of Statechart Implementations
| Cím | Run-time Verification of Statechart Implementations |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2005 |
| Szerzők | Pintér, G., and Majzik, I. |
| Konferencia neve | Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems |
| Kiadás dátuma | 2005 |
| Kiadó | BME |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2005-ms-run-time-verification-of-statechart-implementations.pdf |
