Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2003Formale Spezifikation des strukturierten Anforderungsmanagements für das Domain Engineering anhand eines Beispiels aus der Automobilindustrie
Borusan, A.; Kebemou, A.; Feldo, M.
Buch
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
1996MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
Klar, M.; Büssow, R.; Dörr, H.; Geisler, R.; Grieskamp, W.
Bericht
1995Performance-oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics
Schieferdecker, I.K.
Dissertation
1993Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktnetzen
Ochsenschläger, P.; Prinoth, R.
Konferenzbeitrag
1989Integriertes Entwurfs- und Software-Produktionssystem für verteilbare Realzeit-Rechnersysteme in der Technik. PROSYT. Hauptphase. Abschlußbericht
Bähre, R.; Batz, T.; Hinderer, W.; Preuß, S.; Röhrich, J.; Sänger, F.; Steusloff, H.; Viehweger, W.
Buch
1989Technische Kommunikation in der industriellen Automation
Steusloff, H.
Aufsatz in Buch