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