logo
Analysis and verification of parallel and concurrent systems

Kết quả hội nghị (1)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BOffline
Bengaluru, India
Oct 27, 2025 - Oct 31, 2025
Formalisms for modeling hardwaresoftware and embedded systemsSpecification and verification of finite-state+23 thêm