Lectures on Runtime Verification المزيد من كتب Ezio Bartocci & Yliès Falcone

Formal Methods in Outer Space Formal Methods in Outer Space
٢٠٢١
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
٢٠١٩
Computational Methods in Systems Biology Computational Methods in Systems Biology
٢٠١٦
Runtime Verification Runtime Verification
٢٠١٥