Hybrid Models

Models having two kinds of components that produce the same or similar results.
group

Visible to the public Foundations Of Resilient CybEr-physical Systems (FORCES)

The FORCES group

FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in the key areas of energy delivery, transportation, and energy management in buildings.

event

Visible to the public  NSV 2016
Jul 17, 2016 7:00 am - Jul 18, 2016 6:00 pm EDT

9th International Workshop on Numerical Software Verification (NSV 2016)

colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)

forum

Visible to the public CALL FOR PAPERS: The 27th International Conference on Concurrency Theory (CONCUR2016)

CALL FOR PAPERS

The 27th International Conference on Concurrency Theory (CONCUR2016)

Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/

co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).