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 |