skip to main content

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

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.