José Rufino. Towards Integration of Adaptability and Non-Intrusive Runtime Verification in Avionic Systems. In Jalil Boukhobza, Jean-Philippe Diguet, Pierre Ficheux, Frank Singhoff, editors, Proceedings of the embedded operating system workshop - Embed With Linux 2015, Amsterdam, The Netherlands, October 8, 2015. Volume 1464 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
Abstract is missing.