Ezio Bartocci

الكتب
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
٢٠٢١
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
٢٠١٩
Lectures on Runtime Verification Lectures on Runtime Verification
Lectures on Runtime Verification
٢٠١٨
Computational Methods in Systems Biology Computational Methods in Systems Biology
Computational Methods in Systems Biology
٢٠١٦
Runtime Verification Runtime Verification
Runtime Verification
٢٠١٥