Author

Ezio Bartocci

7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
Computational Methods in Systems ...

Computational Methods in Systems Biology

Year unknown Ezio Bartocci, Pietro Liò, and Nicola Paoletti
Formal Methods in Outer Space

Formal Methods in Outer Space

Year unknown Ezio Bartocci, Yliès Falcone, and Martin Leucker
From Reactive Systems to Cyber-Physical Systems

From Reactive Systems to Cyber-Physical Systems

Year unknown Ezio Bartocci, Rance Cleaveland, Radu Grosu, and Oleg Sokolsky
Lectures on Runtime Verification

Lectures on Runtime Verification

Year unknown Ezio Bartocci and Yliès Falcone
Model Checking Software

Model Checking Software

Year unknown Ezio Bartocci and C. R. Ramakrishnan
Organicittà

Organicittà

Year unknown
Runtime Verification

Runtime Verification

Year unknown Ezio Bartocci and Rupak Majumdar

Fetched from OpenLibrary. Some translations may appear as separate works.