Login / Signup
Andreas Abel
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Black Box
Knowledge Intensive
Hybrid Systems
Top Venues
Haifa Verification Conference
</>
Publications
</>
Andreas Abel
,
Allon Adir
,
Torsten Blochwitz
,
Lev Greenberg
,
Tamer Salman
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.
Haifa Verification Conference
(2013)