Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2011Mixed oxide coatings for optics
Stenzel, O.; Wilbrandt, S.; Schürmann, M.; Kaiser, N.; Ehlers, H.; Mende, M.; Ristau, D.; Bruns, S.; Vergöhl, M.; Stolze, M.; Held, M.; Niederwald, H.; Koch, T.; Riggers, W.; Burdack, P.; Mark, G.; Schäfer, R.; Mewes, S.; Bischoff, M.; Arntzen, M.; Eisenkrämer, F.; Lappschies, M.; Jakobs, S.; Koch, S.; Baumgarten, B.; Tünnermann, A.
Zeitschriftenaufsatz
1999A minimal framework for specification theory
Baumgarten, B.; Henniger, O.
Konferenzbeitrag
1999Testability with unbounded strategies
Henniger, O.; Baumgarten, B.
Konferenzbeitrag
1998Qualitative notions of testability
Wiland, H.; Baumgarten, B.
Konferenzbeitrag
1997Mathematical aspects of specification theory
Baumgarten, B.
Buch
1996Application of testing methodologies in industry
André, E.; Baumgarten, B.; Cavalli, A.; Gill, M.; Henniger, O.; Kuhn, R.; Lai, R.
Buch
1996Petri-Netze : Grundlagen und Anwendungen
Baumgarten, B.
Buch
1996A proposal for the operational semantics of concurrent TTCN
Baumgarten, B.; Gattung, G.
Buch
1996Testing communicating systems
: Baumgarten, B.; Burkhardt, H.-J.; Giessler, A.
Tagungsband
1996Timed systems behaviour and conformance testing - a mathematical framework
Baumgarten, B.
Konferenzbeitrag
1995Open issues in conformance test specification
Baumgarten, B.
Konferenzbeitrag
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
1994OSI conformance testing methodology and TTCN
Baumgarten, B.; Giessler, A.
Buch
1994Die OSI-Konformitätstestmethodik
Baumgarten, B.; Giessler, A.
Zeitschriftenaufsatz
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
1993The CAB protocol - a TTCN test suite generation case study
Baumgarten, B.; Giessler, A.; Paule, C.
Bericht
1993Offene Systeme - test - und zertifizierbar?
Burkhardt, H.-J.; Baumgarten, B.
Zeitschriftenaufsatz
1992OSI-Testmethodik und TTCN
Baumgarten, B.; Giessler, A.
Bericht
1992Testfallgenerierung aus Petri-Netzen - Probleme, Konzepte, Systeme
Baumgarten, B.
Aufsatz in Buch
1991Testgenerierung mit Produktnetzen
Baumgarten, B.; Giessler, A.; Paule, C.
Bericht
1990The alternating bit protocol
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1990Petri-Netze
Baumgarten, B.
Bericht
1989The derivation of test cases from net models of OSI protocols
Baumgarten, B.; Giessler, A.; Platten, R.
Bericht
1986Datenbank- und kommunikationsorientierte Modellierung mehrseitiger Kooperation
Baumgarten, B.; Burkhardt, H.J.; Obermeit, V.; Ochsenschläger, P.; Prinoth, R.; Steinmetz, R.
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
1985ARBOL- ein Dialogprogramm zur Manipulation von Bäumen
Baumgarten, B.; Hueske, T.
Bericht
1985A formal model of the CCR algorithm
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.
Bericht
1983Eine Bemerkung über unsichere Kommunikation
Baumgarten, B.; Ochsenschläger, P.
Bericht
1983Checkpoint-, Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen
Baumgarten, B.; Ochsenschläger, P.
Bericht