FBT

Keyphrases

Publications

2000

Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
Development of a MSC/UML Test Format. FBT (2000)
Alexander K. Wißpeintner, Franz Huber, Jan Philipps
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT (2000)
Arnim Wedig
Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. FBT (2000)
Michael Schmitt
The Development of a Parser for SDL - 2000. FBT (2000)
Max Breitling, Jan Philipps
Diagrams for Dataflow. FBT (2000)
Guido Wirtz, Holger Giese
Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT (2000)
Jan Bredereke
Hierarchische Familien formaler Anforderungen. FBT (2000)
Rüdiger Valk
Mobile and Distributed Objects versus Central Referencing. FBT (2000)
Peter Langendörfer, Thomas Krüger, Hartmut König
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT (2000)
Christine Röckl
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. FBT (2000)
Philipp Schaible, Reinhard Gotzhein
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT (2000)
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)
Martin von Löwis
Datentypsematik für SDL - 2000. FBT (2000)
Bernhard Schätz, Katharina Spies
10 Years Focus - Lessons learned. FBT (2000)
Jan de Meer, Erika Ábrahám-Mumm
Formal Methods for Reflective System Specification. FBT (2000)
Dirk Beyer, Andreas Noack
BDD-basierte Verifikation von Echtzeit-Systemen. FBT (2000)
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000 FBT (2000)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT (2000)

1999

1998