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