Dr.-Ing. Yu Bai

was member of the group
12/2010 - 12/2015
left for
Berner and Mattner Systemtechnik, Berlin
research interests
verification of reactive systems desynchronization of synchronous systems runtime monitoring and runtime verification
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik