👤

Ezio Bartocci

4 books

Books by Ezio Bartocci

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
2019
Lectures on Runtime Verification
Lectures on Runtime Verification
2018
Organicittà
Organicittà
1981