Home | english  | Impressum | Sitemap | KIT

Dr. Christian Engel

engelcYfj4∂ira uka de

 

 


Projekte
Titel Ansprechpartner


Veröffentlichungen
Titel Autor Quelle

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

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

Digitales Volltextarchiv des KIT

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

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

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

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

Technischer Bericht, Universität Karlsruhe (TH), 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