Home | deutsch  | Legals | Sitemap | KIT

Dr. Christian Engel

engelcZyq9∂ira uka de

 

 


Projects
Titel Ansprechpartner


Publications
Title Author(s) Source

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

Technical Report, University of Karlsruhe, 2007

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



Minor and Diploma Thesis
Title Research topic Supervisor Author

Christian Engel

Christian Engel



Teaching
Title Type Place Time
Praktikum Raum 305
Seminar
Praktikum SR 301
Seminar
Praktikum SR 301
Seminar
Praktikum SR 301