share record
persistent URL:
Martin von Löwis , Ralf Schröder : Objekt-orientierte Datenkonzepte für SDL. FBT 1998 : 222-232 share record
persistent URL:
Arndt Lüder , E. Hintze , A. Pöschmann , Hans-Michael Hanisch : Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. FBT 1998 : 100-111 share record
persistent URL:
Jan de Meer , Axel Rennoch , Arno Puder : Towards a QoS Binding Notation. FBT 1998 : 112-121 share record
persistent URL:
Jan Phillips , Alexander Schmidt : Entwurf und Implementierung eingebetteter Systeme. FBT 1998 : 172-181 share record
persistent URL:
Stephan Pietsch , Ina Schieferdecker : Test Suite Simulation. FBT 1998 : 38-47 share record
persistent URL:
Georg Rock , Werner Stephan , Andreas Wolpers : Assumption-Commitment Specifications and Safety-Critical Systems. FBT 1998 : 125-135 share record
persistent URL:
Rudolf Scheurer , Jens Grabowski , Dieter Hogrefe : Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP. FBT 1998 : 26-37 share record
persistent URL:
Peter Paul Spies : Ereignisverbände. FBT 1998 : 87-99 share record
persistent URL:
Thomas Walter : Classification of Specification and Validation Methods for Distributed Systems. FBT 1998 : 3-13 share record
persistent URL:
Hartmut König , Peter Langendörfer : Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Verlag Shaker 1998 , ISBN 3-8265-3807-2 [contents] 1997 share record
persistent URL:
Christel Baier , Holger Hermanns : Weak Bisimulation for Fully Probabilistic Processes. FBT 1997 : 59-68 share record
persistent URL:
Detlef Baumecker , Reinhard Koeppe , Matthias Roebert : Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme. FBT 1997 : 263-271 share record
persistent URL:
Nils Buhrke , Wolfgang Thomas , Jens Vöge : Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT 1997 : 99-108 share record
persistent URL:
Christian Engel : Code Generation for Real-Time Specifications. FBT 1997 : 323-332 share record
persistent URL:
Nils Faltin , Lennard Lambert , Andreas Mitschele-Thiel , Frank Slomka : PMSC -- Integrating Performance into Message Sequence Chart. FBT 1997 : 145-154 share record
persistent URL:
Clemens Fischer : Combining Object-Z and CSP. FBT 1997 : 119-128 share record
persistent URL:
Thomas Gehrke : Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. FBT 1997 : 211-220 share record
persistent URL:
Birgit Geppert , Frank Rößler : Combining SDL and Pattern-based Design for the Customization of Communication Subsystems. FBT 1997 : 201-210 share record
persistent URL:
Klaus Gotthardt , Reiner Lichtenecker : Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. FBT 1997 : 39-48 share record
persistent URL:
Ralf Henke , Andreas Mitschele-Thiel : Efficient Implementation Strategies for SDL. FBT 1997 : 283-292 share record
persistent URL:
Stefan Heymer , Jens Grabowski : Generating Test Cases for Infinite System Specifications. FBT 1997 : 221-230 share record
persistent URL:
Ursula Hinkel , Katharina Spies : Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. FBT 1997 : 251-261 share record
persistent URL:
Leszek Holenderski , Axel Poigné : Synchronous Automata for Synchronous Programming Languages. FBT 1997 : 129-134 share record
persistent URL:
Eckhardt Holz : Towards an application of FDT within OOAD. FBT 1997 : 185-189 share record
persistent URL:
Franz Huber , Bernhard Schätz : Rapid Prototyping with AutoFocus. FBT 1997 : 343-352 share record
persistent URL:
Dirk Jäger , Arnulf Mester : Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen. FBT 1997 : 313-321 share record
persistent URL:
Stephan Kleuker : Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. FBT 1997 : 175-184 share record
persistent URL:
Piotr Kosiuczenko : Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. FBT 1997 : 135-144 share record
persistent URL:
Lennard Lambert : Bewertung von MSC-Spezifikationen mit Task-Graphen. FBT 1997 : 155-164 share record
persistent URL:
Peter Langendörfer : iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. FBT 1997 : 303-311