Conferences in DBLP

Formale Beschreibungstechniken (fbt)
2000 (conf/fbt/2000)

1. 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. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:3-5 [Conf]
   
2. Rüdiger Valk
   Mobile and Distributed Objects versus Central Referencing. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:7-27 [Conf]
   
3. Jan Bredereke
   Hierarchische Familien formaler Anforderungen. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:31-40 [Conf]
   
4. Guido Wirtz, Holger Giese
   Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:41-50 [Conf]
   
5. Jan de Meer, Erika Ábrahám-Mumm
   Formal Methods for Reflective System Specification. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:51-57 [Conf]
   
6. Arnim Wedig
   Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:59-68 [Conf]
   
7. Christine Röckl
   Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:69-78 [Conf]
   
8. Dirk Beyer, Andreas Noack
   BDD-basierte Verifikation von Echtzeit-Systemen. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:79-89 [Conf]
   
9. Alexander K. Wißpeintner, Franz Huber, Jan Philipps
   Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:91-100 [Conf]
   
10. Max Breitling, Jan Philipps
    Diagrams for Dataflow. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:101-110 [Conf]
    
11. Bernhard Schätz, Katharina Spies
    10 Years Focus - Lessons learned. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:111-120 [Conf]
    
12. Martin von Löwis
    Datentypsematik für SDL - 2000. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:121-130 [Conf]
    
13. Michael Schmitt II
    The Development of a Parser for SDL - 2000. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:131-142 [Conf]
    
14. Peter Langendörfer, Thomas Krüger, Hartmut König
    Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:143-152 [Conf]
    
15. Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
    Development of a MSC/UML Test Format. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:153-164 [Conf]
    
16. Philipp Schaible, Reinhard Gotzhein
    Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:165-174 [Conf]
    
17. Sébastien Bornot, Ralf Huuck, Ben Lukoschus
    Statische Analysetechniken für speicherprogrammierbare Steuerungen. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:175-181 [Conf]