Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2011A methodology for pattern-oriented model-driven testing of reactive software systems
Vouffo-Feudjio, A.-G.
: Schieferdecker, I. (Betreuer)
Dissertation
1998Optimal quality of service under dynamic resource constraints in distributed multimedia database systems
Thimm, H.
Dissertation
1997Spezifikation einer Lichtsignalanlagen-Steuerung mit Mikro-SZ
Klar, M.; Mann, S.; Büssow, R.; Geisler, R.
Bericht
1996MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
Klar, M.; Büssow, R.; Dörr, H.; Geisler, R.; Grieskamp, W.
Bericht