14. FORMATS 2016: Quebec, QC, Canada

[–] 

Refine list

showing all 15 records

refine by search term

refine by author

refine by access 

Modeling Timed Phenomena

Stochasticity and Hybrid Control

Real-Time Verification and Synthesis

Workload Analysis