|
Conferences in DBLP
- Heinrich Hußmann
Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:1-6 [Conf]
- Ernst-Rüdiger Olderog
Entwicklung korrekter zeitkritischer Systeme. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:7-16 [Conf]
- Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy
A Formal Model for Componentware. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:17-26 [Conf]
- Dirk Beyer, Heinrich Rust
Concepts of Cottbus Timed Automata. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:27-34 [Conf]
- Max Breitling
Modellierung und Beschreibung von Soll/Ist-Abweichungen. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:35-44 [Conf]
- Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt
Formal Specification and Verification of Communication-Systems for designing in VHDL. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:45-54 [Conf]
- Ingrid Fischer, Gabriele Taentzer
Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:55-64 [Conf]
- Thomas Gehrke, Thomas Firley
Generative Sequence Diagrams with Textual Annotations. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:65-72 [Conf]
- Holger Hermanns, Markus Siegle
Symbolic Minimisation of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:73-82 [Conf]
- Peter Herrmann, Manfred Noël
Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:83-92 [Conf]
- Stefan Heymer, Jens Grabowski
Towards the Generation of Distributed Test Cases Using Petri Nets. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:93-102 [Conf]
- Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:103-112 [Conf]
- Ekkart Kindler, Axel Martens
Szenarios: Lokale Kriterien für globale Korrektheit. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:113-122 [Conf]
- Ingolf Krüger
Towards the Methodical Usage of Message Sequence Charts. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:123-134 [Conf]
- Peter Langendörfer, Hartmut König
Automatische Generierung effizienter Protokollimplementierungen. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:135-144 [Conf]
- Arndt Lüder, E. Hintze, Christian Schwab
Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:145-154 [Conf]
- Uwe Nestmann
Mobile Objects (a project overview). [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:155-164 [Conf]
- Christian Peper
Transformations in Pattern-Based System Specifications. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:165-173 [Conf]
- Axel Rennoch, Jan de Meer, Ina Schieferdecker
Test Data Filtering. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:175-184 [Conf]
- Georg Rock, Werner Stephan, Andreas Wolpers
Modeling Dynamic Processes in TLA. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:185-192 [Conf]
- Christine Röckl
First-Order Proofs for Higher-Order Languages. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:193-202 [Conf]
- Richard O. Sinnott
Modelling Dynamic Distributed Systems in LOTOS. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:203-212 [Conf]
- Thomas Stauner
Specification of (parts of) a Lip-Sync Protocol Using HyCharts. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:213-222 [Conf]
- Thomas Stauner, Klaus Schneider, Michaela Huhn
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:223-232 [Conf]
- Harald Störrle
A Petri-net Semantics for Sequence Diagramms. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:233-242 [Conf]
- Joachim Thees
Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:243-252 [Conf]
- Tobias Vesper, Michael Weber
Automatisches verteiltes Rücksetzen. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:252-261 [Conf]
|