Current Challenges in the Verification of Hybrid Systems
Oct 8, 2015·
,,,,,,·
0 min read
Stefan Schupp
Erika Ábrahám
Xin Chen
Ibtissem Ben Makhlouf
Goran Frehse
Sriram Sankaranarayanan
Stefan Kowalewski
Type
Publication
Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings / Christian Berger … (eds.)
