Computational Methods in Systems Biology المزيد من كتب Ezio Bartocci, Pietro Liò & Nicola Paoletti

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
٢٠١٨
Runtime Verification Runtime Verification
Runtime Verification
٢٠١٥