Non abbiamo ancora una biografia di Ezio Bartocci.
Pubblicato in Inglese · Italiano · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Model Checking Software
2013
Runtime Verification
2015
Lectures on Runtime Verification
2018
Organicittà
1981
From Reactive Systems to Cyber-Physical Systems
2019
Formal Methods in Outer Space
2021
Computational Methods in Systems Biology
2016
Otium
