Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.
Runtime Verification
2 contributors - Paperback
£44.99
Computational Methods in Systems Biology
3 contributors - Paperback
From Reactive Systems to Cyber-Physical Systems
4 contributors - Paperback
Model Checking Software
Formal Methods in Outer Space
£49.99
Lectures on Runtime Verification
£54.99