Lectures on Runtime Verification Ezio Bartocci & Yliès Falcone의 도서 더 보기

Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
2021년
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
2019년
Computational Methods in Systems Biology Computational Methods in Systems Biology
Computational Methods in Systems Biology
2016년
Runtime Verification Runtime Verification
Runtime Verification
2015년