Concurrent Error Detection of Program Execution Based on Statechart Specification
| Cím | Concurrent Error Detection of Program Execution Based on Statechart Specification |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 1999 |
| Szerzők | Majzik, I., Jávorszky, J., Pataricza, A., and Selényi, E. |
| Konferencia neve | Proc. 10th European Workshop on Dependable Computing (EWDC-10) |
| Kiadás dátuma | 1999 |
| Kiadó | Österreichische Computer Gesellschaft |
| URL | http://mycite.omikk.bme.hu/doc/16329.pdf |
