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).

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland