Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)
Date: Apr 14, 2014 2:00 am – Apr 14, 2014 11:00 am
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 2:00 am – Apr 14, 2014 11:00 am
The workshop aims at bringing together researchers and practitioners from the verification of cyber-physical systems.
Submitted by Matthias Althoff
on