Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2010Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
Adler, Rasmus; Schäfer, Ina; Trapp, Mario; Poetzsch-Heffter, Arnd
Zeitschriftenaufsatz
2009Consistency checking for workflows with an ontology-based data perspective
Weiler, G.; Poetzsch-Heffter, A.; Kiefer, S.
Konferenzbeitrag
2009A static analysis technique to detect unsatisfiable conditions in ontology-based workflows
Weiler, G.; Poetzsch-Heffter, A.; Kiefer, S.
Konferenzbeitrag