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.
17. Oct 2018
· Copyright © 2001-2010 Operating Systems Group, TU Dresden | Impressum ·