default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFBT 1998: Cottbus, Germany
- Hartmut König, Peter Langendörfer:
Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Verlag Shaker 1998, ISBN 3-8265-3807-2
Eingeladene Vorträge
- Ulrich Herzog:
Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. FBT 1998: vii-iv - Joachim Fischer, Nils Fischbeck, Marc Born:
SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen. FBT 1998: x-xxv
Test und Verifikation I
- Thomas Walter:
Classification of Specification and Validation Methods for Distributed Systems. FBT 1998: 3-13 - Stefan Heymer, Jens Grabowski:
Formal Methods and Conformance Testing --or-- What are we testing anyway? FBT 1998: 14-25
Test und Verifikation II
- 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. FBT 1998: 26-37 - Stephan Pietsch, Ina Schieferdecker:
Test Suite Simulation. FBT 1998: 38-47 - Olaf Drögehorn, Peter Herrmann:
Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. FBT 1998: 48-59
Neue Spezifikationstechniken II
- Max Breitling, Ursula Hinkel, Katharina Spies:
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. FBT 1998: 63-74 - Franz Huber, Bernhard Schätz:
Specification Modules for Methodical System Development. FBT 1998: 75-86 - Peter Paul Spies:
Ereignisverbände. FBT 1998: 87-99 - Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch:
Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. FBT 1998: 100-111 - Jan de Meer, Axel Rennoch, Arno Puder:
Towards a QoS Binding Notation. FBT 1998: 112-121
Fallstudien
- Georg Rock, Werner Stephan, Andreas Wolpers:
Assumption-Commitment Specifications and Safety-Critical Systems. FBT 1998: 125-135 - Thomas Firley, Thomas Gehrke, Arend Rensink:
Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147 - Dirk Beyer, Heinrich Rust:
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT 1998: 148-159
Hardware-Software Codesign
- Detlef Baumecker, Reinhard Koeppe:
Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen. FBT 1998: 163-171 - Jan Phillips, Alexander Schmidt:
Entwurf und Implementierung eingebetteter Systeme. FBT 1998: 172-181
MSCs
- Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim:
A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196 - Joost-Pieter Katoen, Lennard Lambert:
Pomsets for MSC. FBT 1998: 197-207
SDL
- Birgit Geppert, Frank Rößler, Michael Schneider:
Using SDL Patterns for the Design of a CAN-based Communication Subsystem. FBT 1998: 211-221 - Martin von Löwis, Ralf Schröder:
Objekt-orientierte Datenkonzepte für SDL. FBT 1998: 222-232 - Eckhardt Holz, Joachim Fischer:
Introduction of Gate Types into SDL. FBT 1998: 233-244 - Peter Langendörfer, Thomas Krüger, Sven Twarok:
Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. FBT 1998: 245-254
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
