| Cím | High-level Supervision of Program Execution Based on Formal Specification |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2004 |
| Szerzők | Pintér, G., and Majzik, I. |
| Konferencia neve | Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume) |
| Kiadás dátuma | 2004 |
| Kiadó | IEEE Computer Society Press |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2004-wads-high-level-supervision-of-program-execution-based-on-formal-specification.pdf |
