Catalogo · 9783319238197
Runtime Verification
ISBN 9783319238197
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Model Checking Software
Ezio Bartocci, C. R. Ramakrishnan
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone
Organicittà
Ezio Bartocci
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone, Martin Leucker
Computational Methods in Systems Biology
Ezio Bartocci, Pietro Liò, Nicola Paoletti
Verba volant · scripta manent