Andreas Abel

According to our database, Andreas Abel authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.

Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman

Proceedings of the Hardware and Software: Verification and Testing, 2013