Udo Hafner

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Communication Protocol

Normal Operation

Top Venues

Publications

Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) (2017)