Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rolf Wildhack |
Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware. |
FBT |
1997 |
DBLP BibTeX RDF |
|
1 | Lennard Lambert |
Bewertung von MSC-Spezifikationen mit Task-Graphen. |
FBT |
1997 |
DBLP BibTeX RDF |
|
1 | Martin von Löwis |
SITE - Eine SDL Entwicklungsumgebung. |
FBT |
1997 |
DBLP BibTeX RDF |
|
1 | Arend Rensink, Roberto Gorrieri |
Action refinement for Vertical Implementation. |
FBT |
1997 |
DBLP BibTeX RDF |
|
1 | Peter Langendörfer |
iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. |
FBT |
1997 |
DBLP BibTeX RDF |
|
1 | Eckhardt Holz |
Towards an application of FDT within OOAD. |
FBT |
1997 |
DBLP BibTeX RDF |
|
1 | Hartmut König (eds.) |
Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 |
FBT |
1993 |
DBLP BibTeX RDF |
|
1 | Robert Nahm |
Semantics of simple SDL. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Thomas Held |
Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | Norbert Götz, Ulrich Herzog, Michael Rettelbach |
TIPP - Introduction and Application to Protocol Performance Analysis. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | Peter B. Ladkin, Stefan Leue |
On the Semantics of Message Sequence Charts. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | Claus Dendorfer, Rainer Weber |
An Informal Introduction to the Design Method FOCUS. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | Detlef Kreuz, Reinhard Gotzhein |
A Compiler for the Parallel Execution of Estelle Specification. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | Klaus Ahrens, Joachim Fischer, Andreas Prinz 0001, Dorota Witaszek |
Eine Entwicklungsumgebung für SDL'92. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | Monika Heiner |
A Petri Net View of Process Communication. |
FBT |
1992 |
DBLP BibTeX RDF |
|
1 | H. Peter Gumm |
MUNITY. |
FBT |
1992 |
DBLP BibTeX RDF |
|