logo
Automated Verification of Hybrid (Discrete and Continuous) Models for Cyber-Physical System Design

Konferenzergebnisse (1)

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+26 mehr