Year 2013

Books and Journals

 
[ChGoKrWi13]
D. Christmann, R. Gotzhein, M. Krämer, M. Winkler
Journal on Concurrency and Computation: Practice and Experience, Vol. 25, Issue 2, Feb 2013, pp. 218-233. doi: 10.1002/cpe.2819

Proceedings

 
[IgGo13]
A. Igel, R. Gotzhein
The Fifth International Conference on Advances in System Simulation (SIMUL 2013), Venice, Italiy

 
[KuFoBrGo13]
T. Kuhn, T. Forster, T. Braun, R. Gotzhein
In: MemoCODE 2013: Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign, Portland, Oregon, USA, Oct. 18-20, 2013. Proceedings.

 
[BrGoKu13]
T. Braun, R. Gotzhein, T. Kuhn
In: : ICCSIT 2013: 6th International Conference on Computer Science and Information Technology, Paris, France, Dec. 20-21, 2013. (Accepted Paper)

 
[ChBrGo13]
D. Christmann, T. Braun, R. Gotzhein
In: Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (Eds.): SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Springer 2013, 239-257

 
[BrChGoIg13]
T. Braun, D. Christmann, R. Gotzhein, A. Igel, T. Kuhn, T. Forster
In: J. Parker, M. Manda (Eds.): MS 2013: Modelling and Simulation - 24th IASTED International Conference, Banff, Canada, July 17-19, 2013. Proceedings. ACTA Press, 802-044

Dissertation

 
[Kra13]
M. Krämer
Dissertation, Fachbereich Informatik, Technische Universität Kaiserslautern, 2013

Master thesis

 
[En13]
M. Engel
Masterarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2013

Project thesis

 
[Kr13]
C. Kramer
Angeleitete Forschung - Projektbericht





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.