Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)
Date: Apr 14, 2014
The workshop aims at bringing together researchers and practitioners from the verification of cyber-physical systems.
Submitted by Matthias Althoff
on
Date: Apr 14, 2014
The workshop aims at bringing together researchers and practitioners from the verification of cyber-physical systems.
Submitted by Matthias Althoff
on