Concurrent Error Detection of Program Execution Based on Statechart Specification
| Title | Concurrent Error Detection of Program Execution Based on Statechart Specification |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Majzik, I., Jávorszky, J., Pataricza, A., and Selényi, E. |
| Conference Name | Proc. 10th European Workshop on Dependable Computing (EWDC-10) |
| Date Published | 1999 |
| Publisher | Österreichische Computer Gesellschaft |
| URL | http://mycite.omikk.bme.hu/doc/16329.pdf |
