Computational Methods in Systems Biology More Books by Ezio Bartocci, Pietro Liò & Nicola Paoletti

Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
2021
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
Runtime Verification Runtime Verification
Runtime Verification
2015