FMICS 2011: Best Paper Award für den I11

Das Veröffentlichung Past Time LTL Runtime Verification for Microcontroller Binary Code, welche von Jörg Brauer und Stefan Kowalewski in Kooperation mit Thomas Reinbacher, Andreas Steininger (beide TU Wien) und Martin Horauer (Technikum Wien) geschrieben wurde, ist auf dem 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011) mit einem Best Paper Award ausgezeichnet worden. Der Award wird jährlich verliehen von der European Association of Software Science and Technology (EASST).