Publikationen

Heinz Riener; Oliver Keszocze; Rolf Drechsler; Görschwin Fey

In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-14), 17. March 10-12, Boeblingen, Germany, Pages 217-220, Cullivier Verlag GmbH, 2014.

Mathias Soeken; Max Nitze; Rolf Drechsler

In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2014), 17. March 10-12, Böblingen, Germany, Pages 213-217, Cuvillier Verlag Göttingen, Göttingen, 2014.

Aljoscha Windhorst; Hoang M. Le; Daniel Grosse; Rolf Drechsler

In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-14), 17. March 10-12, Boeblingen, Germany, Pages 201-205, Cuvillier Verlag GmbH, 2014.

Julian Krumeich; Dirk Werth; Peter Loos

In: Leena Suhl; Dennis Kundisch; Lars Beckmann (Hrsg.). Tagungsband Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014). Multikonferenz Wirtschaftsinformatik (MKWI-14), February 26-28, Paderborn, Germany, Pages 1185-1198, ISBN 978-3-00-045311-3, Universität Paderborn, Paderborn, 2/2014.

Stephan Eggersglüß; Kenneth Schmitz; Rene Krenz-Baath; Rolf Drechsler

In: ITG/GI/GMM-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen - Proceedings. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-14), 26. February 23-25, Bad Staffelstein, Germany, 2014.

Bertold Bongardt

In: Journal of Geometric Mechanics (JGM), Vol. 6, No. 2, Pages 141-166, AIMS and CSIC, 2014.

Christina Di Valentin; Andreas Emrich; Dirk Werth; Peter Loos

In: Proceedings of the 7th IADIS International Conference on Information Systems. IADIS International Conference on Information Systems (IADIS-14), February 28 - March 2, Madrid, Spain, IADIS, 2014.

Matthias Klusch; Ankush Prabhu Meshram; Patrick Kapahnke; A. Schuetze

In: Proc. 29th ACM Symposium On Applied Computing. ACM Symposium On Applied Computing (SAC-14), 29th ACM Symposium on Applied Computing, March 24-28, Korea, Republic of, ACM Press, 2014.

Markus Eich; Francisco Bonnin; Emilio Garcia; Alberto Ortiz; Gabriele Bruzzone; Yannis Koveos; Frank Kirchner

In: Journal of Field Robotics, Wiley-Blackwell, 2014.

Tom Thaler; Philip Hake; Peter Fettke; Peter Loos

In: Leena Suhl; Dennis Kundisch (Hrsg.). Tagungsband der Multikonferenz Wirtschaftsinformatik. Multikonferenz Wirtschaftsinformatik (MKWI-14), February 26-28, Paderborn, Germany, Universität Paderborn, 2/2014.