Formal Methods in Outer Space More Books by Ezio Bartocci, Yliès Falcone & Martin Leucker

From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
2019
Lectures on Runtime Verification Lectures on Runtime Verification
Lectures on Runtime Verification
2018
Computational Methods in Systems Biology Computational Methods in Systems Biology
Computational Methods in Systems Biology
2016
Runtime Verification Runtime Verification
Runtime Verification
2015