Marjan Sirjani
Marjan Sirjani
Affiliation: Malardalen University, Sweden
Pages in this Program
Compositional Verification of Timed Automata via Violation Assumptions
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑