FBT 2000:
Lübeck,
Germany
Jens Grabowski, Stefan Heymer (Eds.):
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000.
Verlag Shaker 2000, ISBN 3-8265-7491-5 
@proceedings{DBLP:conf/fbt/2000,
editor = {Jens Grabowski and
Stefan Heymer},
title = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"a}ch, L{\"u}beck, Juni 2000},
booktitle = {FBT},
publisher = {Verlag Shaker},
year = {2000},
isbn = {3-8265-7491-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- 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.
3-5
- Rüdiger Valk:
Mobile and Distributed Objects versus Central Referencing.
7-27
- Jan Bredereke:
Hierarchische Familien formaler Anforderungen.
31-40
- Guido Wirtz, Holger Giese:
Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.
41-50
- Jan de Meer, Erika Ábrahám-Mumm:
Formal Methods for Reflective System Specification.
51-57
- Arnim Wedig:
Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel.
59-68
- Christine Röckl:
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.
69-78
- Dirk Beyer, Andreas Noack:
BDD-basierte Verifikation von Echtzeit-Systemen.
79-89
- Alexander K. Wißpeintner, Franz Huber, Jan Philipps:
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
91-100
- Max Breitling, Jan Philipps:
Diagrams for Dataflow.
101-110
- Bernhard Schätz, Katharina Spies:
10 Years Focus - Lessons learned.
111-120
- Martin von Löwis:
Datentypsematik für SDL - 2000.
121-130
- Michael Schmitt II:
The Development of a Parser for SDL - 2000.
131-142
- Peter Langendörfer, Thomas Krüger, Hartmut König:
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken.
143-152
- Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
Development of a MSC/UML Test Format.
153-164
- Philipp Schaible, Reinhard Gotzhein:
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware.
165-174
- Sébastien Bornot, Ralf Huuck, Ben Lukoschus:
Statische Analysetechniken für speicherprogrammierbare Steuerungen.
175-181
Last update Fri May 25 08:14:00 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
