The SCEAS System
Navigation Menu

Conferences in DBLP

Formale Beschreibungstechniken (fbt)
1998 (conf/fbt/1998)

  1. Joachim Fischer, Nils Fischbeck, Marc Born
    SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:0-0 [Conf]
  2. Ulrich Herzog
    Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:0-0 [Conf]
  3. Thomas Walter
    Classification of Specification and Validation Methods for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:3-13 [Conf]
  4. Stefan Heymer, Jens Grabowski
    Formal Methods and Conformance Testing --or-- What are we testing anyway? [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:14-25 [Conf]
  5. Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe
    Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:26-37 [Conf]
  6. Stephan Pietsch, Ina Schieferdecker
    Test Suite Simulation. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:38-47 [Conf]
  7. Olaf Drögehorn, Peter Herrmann
    Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:48-59 [Conf]
  8. Max Breitling, Ursula Hinkel, Katharina Spies
    Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:63-74 [Conf]
  9. Franz Huber, Bernhard Schätz
    Specification Modules for Methodical System Development. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:75-86 [Conf]
  10. Peter Paul Spies
    Ereignisverbände. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:87-99 [Conf]
  11. Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch
    Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:100-111 [Conf]
  12. Jan de Meer, Axel Rennoch, Arno Puder
    Towards a QoS Binding Notation. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:112-121 [Conf]
  13. Georg Rock, Werner Stephan, Andreas Wolpers
    Assumption-Commitment Specifications and Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:125-135 [Conf]
  14. Thomas Firley, Thomas Gehrke, Arend Rensink
    Spezifikation eines RPC-Speichers mit der Sprache ProFun. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:136-147 [Conf]
  15. Dirk Beyer, Heinrich Rust
    Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:148-159 [Conf]
  16. Detlef Baumecker, Reinhard Koeppe
    Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:163-171 [Conf]
  17. Jan Phillips, Alexander Schmidt
    Entwurf und Implementierung eingebetteter Systeme. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:172-181 [Conf]
  18. Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
    A Process Algebra Semantics for MSC Including Conditions. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:185-196 [Conf]
  19. Joost-Pieter Katoen, Lennard Lambert
    Pomsets for MSC. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:197-207 [Conf]
  20. Birgit Geppert, Frank Rößler, Michael Schneider
    Using SDL Patterns for the Design of a CAN-based Communication Subsystem. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:211-221 [Conf]
  21. Martin von Löwis, Ralf Schröder
    Objekt-orientierte Datenkonzepte für SDL. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:222-232 [Conf]
  22. Eckhardt Holz, Joachim Fischer
    Introduction of Gate Types into SDL. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:233-244 [Conf]
  23. Peter Langendörfer, Thomas Krüger, Sven Twarok
    Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:245-254 [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