Login / Signup
Waheed Ahmad
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 6
Top Topics
Optimal Scheduling
Reachability Analysis
Decision Support
Timed Automata
Top Venues
Soft Comput.
ACSD
CyPhy
DSD
</>
Publications
</>