Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2004Arbeitskontexte - Kapseln um schützenswerte Prozesse
Burkhardt, H.-J.; Prinoth, R.
Bericht
2001Sicherheitsservice-Schicht
Prinoth, R.; Ehmke, H.; Giessler, E.; Schroeder, T.; Schumacher, M.
Patent
1998Modellierung zeitdiskreter Systeme und ihre formale Spezifikation mit Petri Netzen
Burkhardt, H.-J.; Prinoth, R.
Buch
1996Räumliche Verteilung von Automaten
Prinoth, R.
Buch
1995Modellierung verteilter Systeme
Ochsenschläger, P.; Prinoth, R.
Buch
1995PROSIT - an R&D project stimulated by the standardization work on open systems interconnection (OSI)
Baumgarten, B.; Burkhardt, H.-J.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1994Design principles for ISDN application programming interfaces (ISDN APIs)
Prinoth, R.; Korpi, M.; Giessler, E.
Bericht
1994PROSIT - an R&D project stimulated by the standardization work on open systems interconnection (OSI)
Baumgarten, B.; Burkhardt, H.-J.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1993Architekturen für ISDN-basierte Multimedia-Endgeräte und Programmschnittstellen
Prinoth, R.
Zeitschriftenaufsatz
1993Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktnetzen
Ochsenschläger, P.; Prinoth, R.
Konferenzbeitrag
1993Protokolldesign, Verifikation und Implementationsaspekte aufgezeigt an einem Auf-Abbauprotokoll
Prinoth, R.
Bericht
1992Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen
Prinoth, R.
Aufsatz in Buch
1992Product nets and the OSI network service
Prinoth, R.
Bericht
1992Verteilte Systeme
Prinoth, R.
Bericht
1992Das Zählermodell - eine Basis zur Strukturierung von Telekooperation
Prinoth, R.
Bericht
1991Beschreibungsmittel und Konzepte zur Realisierung verteilter Systeme
Prinoth, R.
Bericht
1990The alternating bit protocol
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1990Konzepte zur permanenten Erweiterbarkeit und flexiblen Verteilung von Funktionen im ISDN
Apfelauer, G.; Burkhardt, H.-J.; Giessler, E.; Korpi, M.; Prinoth, R.
Bericht
1989Baumartig strukturierte verteilte Anwendungen
Leicher, G.; Prinoth, R.; Weber, J.
Bericht
1989ISDN-Dienstwechsel
Apfelauer, G.; Korpi, M.; Burkhardt, H.-J.; Giessler, E.; Prinoth, R.; Raubold, E.
Bericht
1989Product nets: A formal description technique for cooperating systems
Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.
Studie
1989Vermittlungsdienst und Management im ISDN
Giessler, E.; Prinoth, R.
Bericht
1988Modellierung von Zeitaspekten mit Produktnetzen
Burkhardt, H.-J.; Prinoth, R.
Bericht
1988Das Verhältnis von OSI-Vermittlungsdienst und ISDN-D-Kanalprotokoll
Apfelauer, G.; Burkhardt, H.-J.; Giessler, E.; Korpi, M.; Prinoth, R.
Bericht
1987Produktnetze. Ein formales Beschreibungsmittel für kooperierende Systeme
Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.
Buch
1986Datenbank- und kommunikationsorientierte Modellierung mehrseitiger Kooperation
Baumgarten, B.; Burkhardt, H.J.; Obermeit, V.; Ochsenschläger, P.; Prinoth, R.; Steinmetz, R.
Buch
1986Realisierung offener Systeme
Burkhardt, H.J.; Eckert, H.; Prinoth, R.
Aufsatz in Buch
1986The signing of a contract - a tree structured application modelled with petri net building blocks
Baumgarten, B.; Burkhardt, H.-J.; Ochsenschläger, P.; Prinoth, R.
Konferenzbeitrag
1985A formal model of the CCR algorithm
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.
Bericht
1985Grundsätzliche Betrachtungen und Bemerkungen zu den Produktnetzen
Eckert, H.; Prinoth, R.
Buch
1984Ableitung von Implementationsvorgaben aus modularisierten Produktnetzen
Faul-Luers, E.; Prinoth, R.
Bericht
1983Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen
Eckert, H.; Prinoth, R.
Zeitschriftenaufsatz
1982Ein Algorithmus zum Verteilen, Rekonfigurieren und Modularisieren von Systemen, die als kreisfreie endliche Automaten gegeben sind
Prinoth, R.
Bericht
1978Starke Färbbarkeit in Petri-Netzen
Prinoth, R.
Dissertation