FBT 2000: Lübeck, Germany

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > FBT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/2000
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/RoeverBHHLPZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/RoeverBHHLPZ00
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Valk00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Valk00
Rüdiger Valk:
Mobile and Distributed Objects versus Central Referencing. FBT 2000: 7-27
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Bredereke00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Bredereke00
Jan Bredereke:
Hierarchische Familien formaler Anforderungen. FBT 2000: 31-40
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/WirtzG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/WirtzG00
Guido Wirtz, Holger Giese:
Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT 2000: 41-50
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/MeerA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/MeerA00
Jan de Meer, Erika Ábrahám-Mumm:
Formal Methods for Reflective System Specification. FBT 2000: 51-57
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Wedig00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Wedig00
Arnim Wedig:
Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. FBT 2000: 59-68
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Rockl00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Rockl00
Christine Röckl:
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. FBT 2000: 69-78
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/BeyerN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/BeyerN00
Dirk Beyer, Andreas Noack:
BDD-basierte Verifikation von Echtzeit-Systemen. FBT 2000: 79-89
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/WisspeintnerHP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/WisspeintnerHP00
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/BreitlingP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/BreitlingP00
Max Breitling, Jan Philipps:
Diagrams for Dataflow. FBT 2000: 101-110
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/SchatzS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/SchatzS00
Bernhard Schätz, Katharina Spies:
10 Years Focus - Lessons learned. FBT 2000: 111-120
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Lowis00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Lowis00
Martin von Löwis:
Datentypsematik für SDL - 2000. FBT 2000: 121-130
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Schmitt00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Schmitt00
Michael Schmitt:
The Development of a Parser for SDL - 2000. FBT 2000: 131-142
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/LangendorferKK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/LangendorferKK00
Peter Langendörfer, Thomas Krüger, Hartmut König:
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT 2000: 143-152
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/RudolphSG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/RudolphSG00
Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
Development of a MSC/UML Test Format. FBT 2000: 153-164
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/SchaibleG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/SchaibleG00
Philipp Schaible, Reinhard Gotzhein:
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT 2000: 165-174
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/BornotHL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/BornotHL00
Sébastien Bornot, Ralf Huuck, Ben Lukoschus:
Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.