Search dblp for Publications

export results for "toc:db/conf/fbt/fbt1998.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fbt/BaumeckerK98,
  author       = {Detlef Baumecker and
                  Reinhard Koeppe},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Vermittlung von Prinzipien der Formalen Spezifikation von offenen,
                  protokollunabh{\"{a}}ngigen Kommunikationssystemen},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {163--171},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Wed, 14 Dec 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/BaumeckerK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/BeyerR98,
  author       = {Dirk Beyer and
                  Heinrich Rust},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Modeling a Production Cell as a Distributed Real-Time System with
                  Cottbus Timed Automata},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {148--159},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Thu, 11 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/BeyerR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/BreitlingHS98,
  author       = {Max Breitling and
                  Ursula Hinkel and
                  Katharina Spies},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Formale Entwicklung verteilter reaktiver Systeme mit {FOCUS}},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {63--74},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/BreitlingHS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/DrogehornH98,
  author       = {Olaf Dr{\"{o}}gehorn and
                  Peter Herrmann},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Werkzeugunterst{\"{u}}tzte Protokollverifikation mit dem Transferprotokoll-Framework},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {48--59},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/DrogehornH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/FirleyGR98,
  author       = {Thomas Firley and
                  Thomas Gehrke and
                  Arend Rensink},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Spezifikation eines RPC-Speichers mit der Sprache ProFun},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {136--147},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/FirleyGR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/FischerFB98,
  author       = {Joachim Fischer and
                  Nils Fischbeck and
                  Marc Born},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {{SDL} und {ODL} im Entwicklungsprozess von Telekommunikationssystemen},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {x--xxv},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/FischerFB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/GehrkeHNRW98,
  author       = {Thomas Gehrke and
                  Michaela Huhn and
                  Peter Niebert and
                  Arend Rensink and
                  Heike Wehrheim},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {A Process Algebra Semantics for {MSC} Including Conditions},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {185--196},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/GehrkeHNRW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/GeppertRS98,
  author       = {Birgit Geppert and
                  Frank R{\"{o}}{\ss}ler and
                  Michael Schneider},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Using {SDL} Patterns for the Design of a CAN-based Communication Subsystem},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {211--221},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/GeppertRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Herzog98,
  author       = {Ulrich Herzog},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Kompositioneller Entwurf mit Stochastischen Proze{\ss}algebren},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {vii--iv},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/Herzog98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/HeymerG98,
  author       = {Stefan Heymer and
                  Jens Grabowski},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Formal Methods and Conformance Testing --or-- What are we testing
                  anyway?},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {14--25},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/HeymerG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/HolzF98,
  author       = {Eckhardt Holz and
                  Joachim Fischer},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Introduction of Gate Types into {SDL}},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {233--244},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/HolzF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/HuberS98,
  author       = {Franz Huber and
                  Bernhard Sch{\"{a}}tz},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Specification Modules for Methodical System Development},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {75--86},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/HuberS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/KatoenL98,
  author       = {Joost{-}Pieter Katoen and
                  Lennard Lambert},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Pomsets for {MSC}},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {197--207},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/KatoenL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/LangendorferKT98,
  author       = {Peter Langend{\"{o}}rfer and
                  Thomas Kr{\"{u}}ger and
                  Sven Twarok},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Eine SDL-Laufzeitumgebung zur Unterst{\"{u}}tzung unterschiedlicher
                  Implementationsstrategien},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {245--254},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/LangendorferKT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/LowisS98,
  author       = {Martin von L{\"{o}}wis and
                  Ralf Schr{\"{o}}der},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Objekt-orientierte Datenkonzepte f{\"{u}}r {SDL}},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {222--232},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/LowisS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/LuderHPH98,
  author       = {Arndt L{\"{u}}der and
                  E. Hintze and
                  A. P{\"{o}}schmann and
                  Hans{-}Michael Hanisch},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Pr{\"{a}}dikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung
                  von Kommunikationssystemen},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {100--111},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/LuderHPH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/MeerRP98,
  author       = {Jan de Meer and
                  Axel Rennoch and
                  Arno Puder},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Towards a QoS Binding Notation},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {112--121},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/MeerRP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/PhillipsS98,
  author       = {Jan Phillips and
                  Alexander Schmidt},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Entwurf und Implementierung eingebetteter Systeme},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {172--181},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/PhillipsS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/PietschS98,
  author       = {Stephan Pietsch and
                  Ina Schieferdecker},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Test Suite Simulation},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {38--47},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/PietschS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/RockSW98,
  author       = {Georg Rock and
                  Werner Stephan and
                  Andreas Wolpers},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Assumption-Commitment Specifications and Safety-Critical Systems},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {125--135},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Fri, 21 Oct 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/RockSW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/ScheurerGH98,
  author       = {Rudolf Scheurer and
                  Jens Grabowski and
                  Dieter Hogrefe},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Revised Comparison of an Automatically Generated and a Manually Specified
                  Abstract Test Suite for the {B-ISDN} Protocol {SSCOP}},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {26--37},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/ScheurerGH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Spies98,
  author       = {Peter Paul Spies},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Ereignisverb{\"{a}}nde},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {87--99},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/Spies98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Walter98,
  author       = {Thomas Walter},
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Classification of Specification and Validation Methods for Distributed
                  Systems},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages        = {3--13},
  publisher    = {Verlag Shaker},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/Walter98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fbt/1998,
  editor       = {Hartmut K{\"{o}}nig and
                  Peter Langend{\"{o}}rfer},
  title        = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
                  GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  publisher    = {Verlag Shaker},
  year         = {1998},
  isbn         = {3-8265-3807-2},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fbt/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.