Betriebssysteme · Institut für Systemarchitektur · Fakultät Informatik · TU Dresden

06. 06. 2014

Verifying Cyber Physical Systems --- A CMU Experience Report

Marcus Voelp

TU Dresden

During my stay at the Carnegie Mellon University, I was involved with Andre´ Platzer an his group in the verification of cyber physical systems. In this talk, I will give an overview about cyber phyical systems, the methods we used to verify them and the specific topics I have worked on. In addition, I would like to share with you some of my experiences being at an american elite university.
25. Jun 2020
· Copyright © 2001-2019 Operating Systems Group, TU Dresden | Impressum ·