logo
and maintenance of systems

会议结果 (1)

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

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
VerificationValidationRigorous tools for specification+26 更多