Hybrid Models

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

Visible to the public 2nd CfP: Reachability Problems 2016

Second Call for Papers - EXTENDED deadline for submissions: 22 May, 2016 (AoE)

forum

Visible to the public 2nd CfP: Reachability Problems 2016

Second Call for Papers - EXTENDED deadline 22 May, 2016 (AoE)

event

Visible to the public  RP'16
Sep 19, 2016 7:00 am - Sep 21, 2016 6:00 pm CEST

The 10th International Workshop on Reachability Problems (RP'16)

The 10th Workshop on Reachability Problems will be hosted by Aalborg University, Denmark. This event will take place in Nordkraft,a recently reconstructed coal power station located at the harbour front of Aalborg city center that serves these days as a cultural and sport center of Aalborg.

group

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

License: 
Creative Commons 2.5
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)