Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1999An open environment for the integration of heterogeneous modelling techniques and tools
Büssow, R.; Grieskamp, W.; Heicking, W.; Herrmann, S.
Conference Paper
1998Specifying safety-critical embedded systems with statecharts and Z
Büssow, R.; Geisler, R.; Klar, M.
Conference Paper
1997Spezifikation einer Lichtsignalanlagen-Steuerung mit Mikro-SZ
Klar, M.; Mann, S.; Büssow, R.; Geisler, R.
Report
1997Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts
Klar, M.; Büssow, R.; Geisler, R.
Conference Paper
1996Essential der ESPRESS Methode
Borusan, A.; Büssow, R.; Dörr, H.; Lienert, D.; Montenegro, S.
Report
1996Essentials der ESPRESS Methode
Borusan, A.; Büssow, R.; Dörr, H.; Lienert, D.; Montenegro, S.
Report
1996MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
Klar, M.; Büssow, R.; Dörr, H.; Geisler, R.; Grieskamp, W.
Report