High-level Supervision of Program Execution Based on Formal Specification

TitleHigh-level Supervision of Program Execution Based on Formal Specification
Publication TypeConference Paper
Year of Publication2004
AuthorsPintér, G., and Majzik, I.
Conference NameProceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume)
Date Published2004
PublisherIEEE Computer Society Press
URLhttp://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2004-wads-high-level-supervision-of-program-execution-based-on-formal-specification.pdf