Borzoo Bonakdarpour, Sebastian Fischmeister. Runtime verification of real-time embedded systems. In Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr, editors, Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. pages 249-250, ACM, 2012. [doi]
Abstract is missing.