2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2015)

April 13, 2015, Seattle, USA

http://cps-vo.org/group/ARCH

Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice.

Submitted by Matthias Althoff on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.