Ali Movaghar
Ali Movaghar
Affiliation: Sharif University of Technology, Iran
Talks
(CAV)
Compositional Verification of Timed Automata via Violation Assumptions · Automata
Pages in this Program
Program
Program on Monday, 27 July 2026
CAV on Monday, 27 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑