2000 share record
persistent URL:
Dirk Beyer , Andreas Noack : BDD-basierte Verifikation von Echtzeit-Systemen. FBT 2000 : 79-89 share record
persistent URL:
Sébastien Bornot , Ralf Huuck , Ben Lukoschus : Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000 : 175-181 share record
persistent URL:
Jan Bredereke : Hierarchische Familien formaler Anforderungen. FBT 2000 : 31-40 share record
persistent URL:
Max Breitling , Jan Philipps : Diagrams for Dataflow. FBT 2000 : 101-110 export record
dblp key:
conf/fbt/LangendorferKK00 share record
persistent URL:
Peter Langendörfer , Thomas Krüger , Hartmut König : Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT 2000 : 143-152 share record
persistent URL:
Martin von Löwis : Datentypsematik für SDL - 2000. FBT 2000 : 121-130 share record
persistent URL:
Jan de Meer , Erika Ábrahám-Mumm : Formal Methods for Reflective System Specification. FBT 2000 : 51-57 share record
persistent URL:
Christine Röckl : Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. FBT 2000 : 69-78 share record
persistent URL:
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 share record
persistent URL:
Ekkart Rudolph , Ina Schieferdecker , Jens Grabowski : Development of a MSC/UML Test Format. FBT 2000 : 153-164 share record
persistent URL:
Philipp Schaible , Reinhard Gotzhein : Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT 2000 : 165-174 share record
persistent URL:
Bernhard Schätz , Katharina Spies : 10 Years Focus - Lessons learned. FBT 2000 : 111-120 share record
persistent URL:
Michael Schmitt : The Development of a Parser for SDL - 2000. FBT 2000 : 131-142 share record
persistent URL:
Rüdiger Valk : Mobile and Distributed Objects versus Central Referencing. FBT 2000 : 7-27 share record
persistent URL:
Arnim Wedig : Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. FBT 2000 : 59-68 share record
persistent URL:
Guido Wirtz , Holger Giese : Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT 2000 : 41-50 export record
dblp key:
conf/fbt/WisspeintnerHP00 share record
persistent URL:
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 share record
persistent URL:
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 share record
persistent URL:
Klaus Bergner , Andreas Rausch , Marc Sihling , Alexander Vilbig , Manfred Broy : A Formal Model for Componentware. FBT 1999 : 17-26 share record
persistent URL:
Dirk Beyer , Heinrich Rust : Concepts of Cottbus Timed Automata. FBT 1999 : 27-34 share record
persistent URL:
Max Breitling : Modellierung und Beschreibung von Soll/Ist-Abweichungen. FBT 1999 : 35-44 share record
persistent URL:
Ingrid Fischer , Gabriele Taentzer : Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation. FBT 1999 : 55-64 share record
persistent URL:
Thomas Gehrke , Thomas Firley : Generative Sequence Diagrams with Textual Annotations. FBT 1999 : 65-72 share record
persistent URL:
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 share record
persistent URL:
Holger Hermanns , Markus Siegle : Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999 : 73-82 share record
persistent URL:
Peter Herrmann , Manfred Noël : Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. FBT 1999 : 83-92 share record
persistent URL:
Stefan Heymer , Jens Grabowski : Towards the Generation of Distributed Test Cases Using Petri Nets. FBT 1999 : 93-102 share record
persistent URL:
Heinrich Hußmann : Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? FBT 1999 : 1-6 share record
persistent URL:
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 share record
persistent URL:
Ekkart Kindler , Axel Martens : Szenarios: Lokale Kriterien für globale Korrektheit. FBT 1999 : 113-122