• 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 117 matches

• 2000
• 
  Dirk Beyer, Andreas Noack:
  BDD-basierte Verifikation von Echtzeit-Systemen. FBT 2000: 79-89
• 
  Sébastien Bornot, Ralf Huuck, Ben Lukoschus:
  Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181
• 
  Jan Bredereke:
  Hierarchische Familien formaler Anforderungen. FBT 2000: 31-40
• 
  Max Breitling, Jan Philipps:
  Diagrams for Dataflow. FBT 2000: 101-110
• 
  Peter Langendörfer, Thomas Krüger, Hartmut König:
  Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT 2000: 143-152
• 
  Martin von Löwis:
  Datentypsematik für SDL - 2000. FBT 2000: 121-130
• 
  Jan de Meer, Erika Ábrahám-Mumm:
  Formal Methods for Reflective System Specification. FBT 2000: 51-57
• 
  Christine Röckl:
  Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. FBT 2000: 69-78
• 
  Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
  Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5
• 
  Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
  Development of a MSC/UML Test Format. FBT 2000: 153-164
• 
  Philipp Schaible, Reinhard Gotzhein:
  Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT 2000: 165-174
• 
  Bernhard Schätz, Katharina Spies:
  10 Years Focus - Lessons learned. FBT 2000: 111-120
• 
  Michael Schmitt:
  The Development of a Parser for SDL - 2000. FBT 2000: 131-142
• 
  Rüdiger Valk:
  Mobile and Distributed Objects versus Central Referencing. FBT 2000: 7-27
• 
  Arnim Wedig:
  Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. FBT 2000: 59-68
• 
  Guido Wirtz, Holger Giese:
  Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT 2000: 41-50
• 
  Alexander K. Wißpeintner, Franz Huber, Jan Philipps:
  Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT 2000: 91-100
• 
  Jens Grabowski, Stefan Heymer:
  Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Verlag Shaker 2000, ISBN 3-8265-7491-5 [contents]
• 1999
• 
  Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy:
  A Formal Model for Componentware. FBT 1999: 17-26
• 
  Dirk Beyer, Heinrich Rust:
  Concepts of Cottbus Timed Automata. FBT 1999: 27-34
• 
  Max Breitling:
  Modellierung und Beschreibung von Soll/Ist-Abweichungen. FBT 1999: 35-44
• 
  Ingrid Fischer, Gabriele Taentzer:
  Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation. FBT 1999: 55-64
• 
  Thomas Gehrke, Thomas Firley:
  Generative Sequence Diagrams with Textual Annotations. FBT 1999: 65-72
• 
  Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt:
  Formal Specification and Verification of Communication-Systems for designing in VHDL. FBT 1999: 45-54
• 
  Holger Hermanns, Markus Siegle:
  Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999: 73-82
• 
  Peter Herrmann, Manfred Noël:
  Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. FBT 1999: 83-92
• 
  Stefan Heymer, Jens Grabowski:
  Towards the Generation of Distributed Test Cases Using Petri Nets. FBT 1999: 93-102
• 
  Heinrich Hußmann:
  Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? FBT 1999: 1-6
• 
  Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz:
  Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. FBT 1999: 103-112
• 
  Ekkart Kindler, Axel Martens:
  Szenarios: Lokale Kriterien für globale Korrektheit. FBT 1999: 113-122

skipping 87 more matches