Home | english  | Impressum | Sitemap | KIT

Dr. Christian Engel

engelcSlg4∂ira uka de

 

 


Projekte
Titel Ansprechpartner


Veröffentlichungen
Titel Autor Quelle

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

Digitales Volltextarchiv des KIT

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

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

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

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

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

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