Ezio Bartocci
Ezio Bartocci
6 ספרים במאגר
ספרים
Model Checking SoftwareEzio Bartocci
Model Checking Software
Ezio Bartocci · 2013
Runtime VerificationEzio Bartocci
Runtime Verification
Ezio Bartocci · 2015
Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci · 2021
From Reactive Systems to Cyber-Physical SystemsEzio Bartocci
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci · 2019
Lectures on Runtime VerificationEzio Bartocci
Lectures on Runtime Verification
Ezio Bartocci · 2018
Computational Methods in Systems BiologyEzio Bartocci
Computational Methods in Systems Biology
Ezio Bartocci · 2016