Vladimir Estivill-Castro, René Hexel. Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers. Volume 880 of Communications in Computer and Information Science, pages 119-144, Springer, 2017. [doi]
Abstract is missing.