The SCEAS System
Navigation Menu

Conferences in DBLP

Formale Beschreibungstechniken (fbt)
1999 (conf/fbt/1999)

  1. Heinrich Hußmann
    Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:1-6 [Conf]
  2. Ernst-Rüdiger Olderog
    Entwicklung korrekter zeitkritischer Systeme. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:7-16 [Conf]
  3. 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]
  4. Dirk Beyer, Heinrich Rust
    Concepts of Cottbus Timed Automata. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:27-34 [Conf]
  5. Max Breitling
    Modellierung und Beschreibung von Soll/Ist-Abweichungen. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:35-44 [Conf]
  6. 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]
  7. 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]
  8. Thomas Gehrke, Thomas Firley
    Generative Sequence Diagrams with Textual Annotations. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:65-72 [Conf]
  9. Holger Hermanns, Markus Siegle
    Symbolic Minimisation of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:73-82 [Conf]
  10. Peter Herrmann, Manfred Noël
    Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:83-92 [Conf]
  11. 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]
  12. 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]
  13. Ekkart Kindler, Axel Martens
    Szenarios: Lokale Kriterien für globale Korrektheit. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:113-122 [Conf]
  14. Ingolf Krüger
    Towards the Methodical Usage of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:123-134 [Conf]
  15. Peter Langendörfer, Hartmut König
    Automatische Generierung effizienter Protokollimplementierungen. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:135-144 [Conf]
  16. 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]
  17. Uwe Nestmann
    Mobile Objects (a project overview). [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:155-164 [Conf]
  18. Christian Peper
    Transformations in Pattern-Based System Specifications. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:165-173 [Conf]
  19. Axel Rennoch, Jan de Meer, Ina Schieferdecker
    Test Data Filtering. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:175-184 [Conf]
  20. Georg Rock, Werner Stephan, Andreas Wolpers
    Modeling Dynamic Processes in TLA. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:185-192 [Conf]
  21. Christine Röckl
    First-Order Proofs for Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:193-202 [Conf]
  22. Richard O. Sinnott
    Modelling Dynamic Distributed Systems in LOTOS. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:203-212 [Conf]
  23. Thomas Stauner
    Specification of (parts of) a Lip-Sync Protocol Using HyCharts. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:213-222 [Conf]
  24. 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]
  25. Harald Störrle
    A Petri-net Semantics for Sequence Diagramms. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:233-242 [Conf]
  26. Joachim Thees
    Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:243-252 [Conf]
  27. Tobias Vesper, Michael Weber
    Automatisches verteiltes Rücksetzen. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:252-261 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002