share record
persistent URL:
Ingolf Krüger : Towards the Methodical Usage of Message Sequence Charts. FBT 1999 : 123-134 share record
persistent URL:
Peter Langendörfer , Hartmut König : Automatische Generierung effizienter Protokollimplementierungen. FBT 1999 : 135-144 share record
persistent URL:
Arndt Lüder , E. Hintze , Christian Schwab : Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls. FBT 1999 : 145-154 share record
persistent URL:
Uwe Nestmann : Mobile Objects (a project overview). FBT 1999 : 155-164 share record
persistent URL:
Ernst-Rüdiger Olderog : Entwicklung korrekter zeitkritischer Systeme. FBT 1999 : 7-16 share record
persistent URL:
Christian Peper : Transformations in Pattern-Based System Specifications. FBT 1999 : 165-173 share record
persistent URL:
Axel Rennoch , Jan de Meer , Ina Schieferdecker : Test Data Filtering. FBT 1999 : 175-184 share record
persistent URL:
Georg Rock , Werner Stephan , Andreas Wolpers : Modeling Dynamic Processes in TLA. FBT 1999 : 185-192 share record
persistent URL:
Christine Röckl : First-Order Proofs for Higher-Order Languages. FBT 1999 : 193-202 share record
persistent URL:
Richard O. Sinnott : Modelling Dynamic Distributed Systems in LOTOS. FBT 1999 : 203-212 share record
persistent URL:
Thomas Stauner : Specification of (parts of) a Lip-Sync Protocol Using HyCharts. FBT 1999 : 213-222 share record
persistent URL:
Thomas Stauner , Klaus Schneider , Michaela Huhn : Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999 : 223-232 share record
persistent URL:
Harald Störrle : A Petri-net Semantics for Sequence Diagramms. FBT 1999 : 233-242 share record
persistent URL:
Joachim Thees : Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. FBT 1999 : 243-252 share record
persistent URL:
Tobias Vesper , Michael Weber : Automatisches verteiltes Rücksetzen. FBT 1999 : 252-261 share record
persistent URL:
Katharina Spies , Bernhard Schätz : Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. Herbert Utz Verlag 1999 , ISBN 3-89675-918-3 [contents] 1998 share record
persistent URL:
Detlef Baumecker , Reinhard Koeppe : Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen. FBT 1998 : 163-171 share record
persistent URL:
Dirk Beyer , Heinrich Rust : Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT 1998 : 148-159 share record
persistent URL:
Max Breitling , Ursula Hinkel , Katharina Spies : Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. FBT 1998 : 63-74 share record
persistent URL:
Olaf Drögehorn , Peter Herrmann : Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. FBT 1998 : 48-59 share record
persistent URL:
Thomas Firley , Thomas Gehrke , Arend Rensink : Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998 : 136-147 share record
persistent URL:
Joachim Fischer , Nils Fischbeck , Marc Born : SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen. FBT 1998 : x-xxv share record
persistent URL:
Thomas Gehrke , Michaela Huhn , Peter Niebert , Arend Rensink , Heike Wehrheim : A Process Algebra Semantics for MSC Including Conditions. FBT 1998 : 185-196 share record
persistent URL:
Birgit Geppert , Frank Rößler , Michael Schneider : Using SDL Patterns for the Design of a CAN-based Communication Subsystem. FBT 1998 : 211-221 share record
persistent URL:
Ulrich Herzog : Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. FBT 1998 : vii-iv share record
persistent URL:
Stefan Heymer , Jens Grabowski : Formal Methods and Conformance Testing --or-- What are we testing anyway? FBT 1998 : 14-25 share record
persistent URL:
Eckhardt Holz , Joachim Fischer : Introduction of Gate Types into SDL. FBT 1998 : 233-244 share record
persistent URL:
Franz Huber , Bernhard Schätz : Specification Modules for Methodical System Development. FBT 1998 : 75-86 share record
persistent URL:
Joost-Pieter Katoen , Lennard Lambert : Pomsets for MSC. FBT 1998 : 197-207 export record
dblp key:
conf/fbt/LangendorferKT98 share record
persistent URL:
Peter Langendörfer , Thomas Krüger , Sven Twarok : Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. FBT 1998 : 245-254