Home | english  | Impressum | Sitemap | KIT

Dr. Christian Engel

engelcUsm0∂ira uka de

 

 


Projekte
Titel Ansprechpartner


Veröffentlichungen
Titel Autor Quelle

Logics for System Analysis (LfSA 2010), Edinburgh, UK, 2010

Embedded Real Time Software and Systems (ERTS² 2010), Toulouse, France, 2010

Digitales Volltextarchiv des KIT

Technical Report 2009-9, Department of Computer Science, University of Karlsruhe, 2009

2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Rennes, France, 2008

2nd International Conference on Tests and Proofs, Prato, Italy, 2008

Technischer Bericht, Universität Karlsruhe (TH), 2007

International Conference on Tests And Proofs (TAP), ETH Zürich, Switzerland, 2007



Bearbeitete Studien- und Diplomarbeiten
Titel Forschungsthema Betreuer Bearbeiter

Christian Engel

Christian Engel



Lehre
Titel Typ Ort Zeit
Praktikum Raum 305
Seminar
Praktikum SR 301
Seminar
Praktikum SR 301
Seminar
Praktikum SR 301