Vladimir Estivill-Castro, René Hexel. Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017. pages 29-40, SciTePress, 2017. [doi]
Abstract is missing.