


default search action
FBT 1992: Magdeburg, Germany
- Hartmut König:
Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992. K. G. Saur Verlag 1993, ISBN 3-598-22409-5 - Claus Dendorfer, Rainer Weber:
An Informal Introduction to the Design Method FOCUS. FBT 1992: 9-20 - H. Peter Gumm:
MUNITY. FBT 1992: 21-34 - Robert Nahm:
Semantics of simple SDL. FBT 1992: 35-48 - Klaus Ahrens, Joachim Fischer, Andreas Prinz, Dorota Witaszek:
Eine Entwicklungsumgebung für SDL'92. FBT 1992: 49-65 - Jens Grabowski, Ekkart Rudolph:
Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems. FBT 1992: 66-87 - Peter B. Ladkin, Stefan Leue:
On the Semantics of Message Sequence Charts. FBT 1992: 88-104 - Norbert Götz, Ulrich Herzog, Michael Rettelbach:
TIPP - Introduction and Application to Protocol Performance Analysis. FBT 1992: 105-125 - Monika Heiner:
A Petri Net View of Process Communication. FBT 1992: 126-141 - Thomas Held:
Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen. FBT 1992: 142-160 - Detlef Kreuz, Reinhard Gotzhein:
A Compiler for the Parallel Execution of Estelle Specification. FBT 1992: 161-178

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.