AIT Experts receive Best Paper Award on Runtime Verification Conference

AIT senior scientist Dejan Nickovic and scientist Cristinel Mateis, both Experts for Cyber and Physical Systems and Internet-of-Things (IoT), received the Award at the 19th International Conference on runtime Verification in Portugal