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