| Title | High-level Supervision of Program Execution Based on Formal Specification |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Pintér, G., and Majzik, I. |
| Conference Name | Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume) |
| Date Published | 2004 |
| Publisher | 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 |
