• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 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
• 
  Martin von Löwis, Ralf Schröder:
  Objekt-orientierte Datenkonzepte für SDL. FBT 1998: 222-232
• 
  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
• 
  Jan de Meer, Axel Rennoch, Arno Puder:
  Towards a QoS Binding Notation. FBT 1998: 112-121
• 
  Jan Phillips, Alexander Schmidt:
  Entwurf und Implementierung eingebetteter Systeme. FBT 1998: 172-181
• 
  Stephan Pietsch, Ina Schieferdecker:
  Test Suite Simulation. FBT 1998: 38-47
• 
  Georg Rock, Werner Stephan, Andreas Wolpers:
  Assumption-Commitment Specifications and Safety-Critical Systems. FBT 1998: 125-135
• 
  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
• 
  Peter Paul Spies:
  Ereignisverbände. FBT 1998: 87-99
• 
  Thomas Walter:
  Classification of Specification and Validation Methods for Distributed Systems. FBT 1998: 3-13
• 
  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]