e GI: Publications


Publications

Conference Proceedings (8)

Giese, Holger and Huhn, Michaela and Phillips, Jan and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES VIII), 2012

Giese, Holger and Huhn, Michaela and Phillips, Jan and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme VII), 2011

Giese, Holger and Huhn, Michaela and Philipps, Jan and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES VI), Informatik-Bericht der TU München, Volume 2010-01, 2010

Giese, Holger and Huhn, Michaela and Nickel, Ulrich and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES V), Informatik-Bericht der TU Braunschweig, Volume 2009-01, 2009

Huhn, Michaela and Hungar, Hardi: Proceedings of the 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), ENTCS, 2009

Giese, Holger and Huhn, Michaela and Nickel, Ulrich and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES V), Informatik-Bericht der TU Braunschweig, Volume 2008-02, 2008

Huhn, Michaela and Hungar, Hardi: Proceedings of the 1st International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), ENTCS, Volume 238, 2008

Huhn, Michaela and Hungar, Hardi and Peled, Doron A.: 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems, Dagstuhl Seminar Proceedings, Volume 07241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2008

Show results as BibTeX-Code
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018