Run-time Verification of Statechart Implementations
| Title | Run-time Verification of Statechart Implementations |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Pintér, G., and Majzik, I. |
| Conference Name | Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems |
| Date Published | 2005 |
| Publisher | BME |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2005-ms-run-time-verification-of-statechart-implementations.pdf |
