Introduction to Runtime Verification
Bartocci, Ezio ; Falcone, Yliès ; Francalanza, Adrian ; Reger, Giles Falcone, Yliès ; Bartocci, Ezio ; Falcone, Yliès ; Bartocci, Ezio
Lectures on Runtime Verification, 2018, Vol.10457, p.1-33 [Periódico revisado por pares]Switzerland: Springer International Publishing AG
Sem texto completo