Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Rolf Drechsler; Ulrich Kühne
In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. Springer, 2015.
Philipp Niemann; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2015.
Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler
In: Journal on Emerging Technologies in Computing Systems (JETC), 2015.
Jan Sutter; Kristian Sons; Philipp Slusallek
In: Proceedings of the 20th International Conference on 3D Web Technology. ACM International Conference on 3D Web Technology (Web3D-15), 20th …
Julian Krumeich; Nijat Mehdiyev; Dirk Werth; Peter Loos
In: 2nd International Workshop on Event Modeling and Processing in Business Process Management. International Workshop on Event Modelling and …
Joerg Haehner; Uwe Brinkschulte; Paul Lukowicz; Sanaz Mostaghim; Bernhard Sick; Sven Tomforde
In: The 28th International Conference on Architecture of Computing Systems. International Conference on Architecture of Computing Systems (ARCS-2015), …
Adrian Calma; Tobias Reitmaier; Bernhard Sick; Paul Lukowicz; Mark Embrechts
4/2015.
George Kampis; Paul Lukowicz
In: Procedia Computer Science, Vol. 51, Pages 542-551, Elsevier, 2015.
George Kampis; Jan W. Kantelhardt; Kamil Kloch; Paul Lukowicz
In: Journal of Computational Science, Vol. 6, Pages 1-10, Elsevier, 1/2015.
Stephan Weyer
In: Proceedings of Automation 2015. VDI Automatisierungskongress (AUTOMATION-2015), Benefits of Change – the Future of Automation, June 11-12, …