Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2009Applying model checking to generate model-based integration tests from choreography models
Wieczorek, S.; Kozyura, V.; Roth, A.; Leuschel, M.; Bendisposto, J.; Plagge, D.; Schieferdecker, I.
Conference Paper
2009Viewpoints for modeling choreographies in service-oriented architectures
Wieczorek, S.; Roth, A.; Stefanescu, A.; Kozyura, V.; Charfi, A.; Kraft, F.M.; Schieferdecker, I.
Conference Paper