Yliès Falcone, Klaus Havelund, Giles Reger. A Tutorial on Runtime Verification. Manfred Broy, Doron Peled, Georg Kalus.
Engineering Dependable Software Systems, 34, IOS Press, pp.141-175, 2013, NATO Science for Peace and Security Series - D: Information and Communication Security, 978-1-61499-206-6 (print); 978-1-61499-207-3 (online).
⟨10.3233/978-1-61499-207-3-141⟩.
⟨hal-00853727⟩