Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.

C. Legat, J. Mund, A. Campetelli, G. Hackenberg, J. Folmer, D. Schütz, M. Broy, und B. Vogel-Heuser. Automatisierungstechnik, 62 (11): 815-825 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Ilche Georgievski University of Stuttgart

M. Sc. Patrick Georgi University of Stuttgart

Daniel Georg University of Stuttgart

Prof. Dr. Hans-Georg Kemper

Führungsinformationssysteme im Kontext der Business Intelligence: Das Beispiel bms:roi der Bayer MaterialScienceH. Baars, L. Burow, und H. Kemper. HMD Praxis der Wirtschaftsinformatik, 48 (6): 46-54 (2011)

Hon. -Prof. Dr. Georg Urban University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Towards a bottom-up development of reference architectures for smart energy systems.M. Irlbeck, D. Bytschkow, G. Hackenberg, und V. Koutsoumpas. SE4SG@ICSE, Seite 9-16. IEEE Computer Society, (2013)Applying formal software engineering techniques to smart grids.G. Hackenberg, M. Irlbeck, V. Koutsoumpas, und D. Bytschkow. SE4SG@ICSE, Seite 50-56. IEEE, (2012)A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models.G. Hackenberg, M. Irlbeck, V. Koutsoumpas, und D. Bytschkow. COMPSAC Workshops, Seite 596-601. IEEE Computer Society, (2014)Test-driven conceptual design of cyber-physical manufacturing systems.G. Hackenberg. Technical University Munich, Germany, (2018)Early estimation of multi-objective traffic flow.D. Ascher, und G. Hackenberg. ICCVE, Seite 1056-1057. IEEE, (2014)Integrated transportation and power system modeling.D. Ascher, und G. Hackenberg. ICCVE, Seite 379-384. IEEE, (2015)SciPort: An Adaptable Scientific Data Integration Platform for Collaborative Scientific Research.F. Wang, P. Bourgue, G. Hackenberg, M. Wang, D. Kaltschmidt, P. Liu, C. Rabsch, P. Kling, G. Madlmayr, J. Pearson und 1 andere Autor(en). VLDB, Seite 1310-1313. ACM, (2007)Towards early emergent property understanding: merging behavior space exploration and model-based software engineering.G. Hackenberg, und D. Bytschkow. XM@MoDELS, Seite 39-44. ACM, (2012)Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach.A. Vogelsang, S. Eder, G. Hackenberg, M. Junker, und S. Teufl. MODELSWARD, Seite 587-595. SciTePress, (2014)Formal Technical Process Specification and Verification for Automated Production Systems.G. Hackenberg, A. Campetelli, C. Legat, J. Mund, S. Teufl, und B. Vogel-Heuser. SAM, Volume 8769 von Lecture Notes in Computer Science, Seite 287-303. Springer, (2014)