-
DAES
-
Lehre
-
Lehrveranstaltungen
-
Sonstiges
Seminar für eingebettete Systeme (English)
protocols. DATE 2012: 1233-1238 Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele: A hybrid approach to cyber-physical systems verification. DAC 2012: 688-696 (+) [...] Giusto: Using timing analysis for the design of future switched based Ethernet automotive networks. DATE 2012: 57-62 Medical Applications Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam: [...] Mangharam: From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. RTAS 2012: 173-184 Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. …