Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fbt/fbt1997.bht:"
download as .bib file
@inproceedings{DBLP:conf/fbt/BaierH97,
author = {Christel Baier and
Holger Hermanns},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Weak Bisimulation for Fully Probabilistic Processes},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {59--68},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BaierH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BaumekkerKR97,
author = {Detlef Baumecker and
Reinhard Koeppe and
Matthias Roebert},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Eine Spezifikationsmethode f{\"{u}}r echtzeitkritische Kommunikationssysteme},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {263--271},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 15 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BaumekkerKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BuhrkeTV97,
author = {Nils Buhrke and
Wolfgang Thomas and
Jens V{\"{o}}ge},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Ein inkrementeller Ansatz zur effizienten Synthese von Controllern
aus Spezifikationen mit temporaler Logik},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {99--108},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BuhrkeTV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Engel97,
author = {Christian Engel},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Code Generation for Real-Time Specifications},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {323--332},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Engel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FaltinLMS97,
author = {Nils Faltin and
Lennard Lambert and
Andreas Mitschele{-}Thiel and
Frank Slomka},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {{PMSC} -- Integrating Performance into Message Sequence Chart},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {145--154},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/FaltinLMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Fischer97,
author = {Clemens Fischer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Combining Object-Z and {CSP}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {119--128},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Fischer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Gehrke97,
author = {Thomas Gehrke},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer
proze{\ss}orientierten Spezifikation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {211--220},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Gehrke97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GeppertR97,
author = {Birgit Geppert and
Frank R{\"{o}}{\ss}ler},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Combining {SDL} and Pattern-based Design for the Customization of
Communication Subsystems},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {201--210},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GeppertR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GotthardtL97,
author = {Klaus Gotthardt and
Reiner Lichtenecker},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Verification of Distributed Applications by translating {CCS} to Binary
Decision Diagrams},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {39--48},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GotthardtL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HenkeM97,
author = {Ralf Henke and
Andreas Mitschele{-}Thiel},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Efficient Implementation Strategies for {SDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {283--292},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HenkeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HeymerG97,
author = {Stefan Heymer and
Jens Grabowski},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Generating Test Cases for Infinite System Specifications},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {221--230},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HeymerG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HinkelS97,
author = {Ursula Hinkel and
Katharina Spies},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Spezifikationsmethodik f{\"{u}}r mobile, dynamische FOCUS-Netze},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {251--261},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HinkelS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HolenderskiP97,
author = {Leszek Holenderski and
Axel Poign{\'{e}}},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Synchronous Automata for Synchronous Programming Languages},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {129--134},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HolenderskiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Holz97,
author = {Eckhardt Holz},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Towards an application of {FDT} within {OOAD}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {185--189},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Holz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS97,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Rapid Prototyping with AutoFocus},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {343--352},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HuberS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/JagerM97,
author = {Dirk J{\"{a}}ger and
Arnulf Mester},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {313--321},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/JagerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Kleuker97,
author = {Stephan Kleuker},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Anforderungsformalisierung f{\"{u}}r synchron kommunizierende
Prozesse mit Trace-Diagrammen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {175--184},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Kleuker97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Kosiuczenko97,
author = {Piotr Kosiuczenko},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {135--144},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Kosiuczenko97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lambert97,
author = {Lennard Lambert},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Bewertung von MSC-Spezifikationen mit Task-Graphen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {155--164},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lambert97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Langendorfer97,
author = {Peter Langend{\"{o}}rfer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben
in SDL'92},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {303--311},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Langendorfer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lemmen97,
author = {Frank Lemmen},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext
des SDL/MSC-gesteuerten Monitoring},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {191--200},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lemmen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lowis97,
author = {Martin von L{\"{o}}wis},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {{SITE} - Eine {SDL} Entwicklungsumgebung},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {353--356},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lowis97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Meer97,
author = {Jan de Meer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {QoS Control by Balancing Continuous {MM} Streams},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {109--118},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Meer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Muller-Clostermann97,
author = {Bruno M{\"{u}}ller{-}Clostermann},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {SDL-Based Performance Evaluation - {A} Survey},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {7--22},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Muller-Clostermann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Reffel97,
author = {Frank Reffel},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellpr{\"{u}}fung},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {49--57},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Reffel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RensinkG97,
author = {Arend Rensink and
Roberto Gorrieri},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Action refinement for Vertical Implementation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {69--78},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RensinkG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RockSW97,
author = {Georg Rock and
Werner Stephan and
Andreas Wolpers},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Tool Support for the Compositional Development of Distributed Systems},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {89--98},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Fri, 21 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/RockSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchieferdeckerLR97,
author = {Ina Schieferdecker and
Mang Li and
Axel Rennoch},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {An {AAL5} Performance Test Suite in PerfTTCN},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {241--250},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchieferdeckerLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchieferdeckerRM97,
author = {Ina Schieferdecker and
Axel Rennoch and
Olaf Mertens},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Timed MSCx - an Extension to MSC'96},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {165--174},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchieferdeckerRM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchmitKS97,
author = {Robert Schmit and
Michael Kunes and
Walter Sedlbauer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Prototyping mit {SDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {293--301},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchmitKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchmittGHK97,
author = {Michael Schmitt and
Jens Grabowski and
Dieter Hogrefe and
Beat Koch},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {-Autolink- {A} Tool for the Automatic and Semi-Automatic Test Generation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {333--341},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchmittGHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SommerfeldL97,
author = {Lutz Sommerfeld and
Peter B. Ladkin},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Beschreibung eines vagen Echtzeit-Hybrid-Systems in {TLA+}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {79--88},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SommerfeldL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Tretmans97,
author = {Jan Tretmans},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Repetitive Quiescence in Implementation and Testing},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {23--37},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Tretmans97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/WalterG97,
author = {Thomas Walter and
Jens Grabowski},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Test Case Specification with Real-time {TTCN}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {231--240},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/WalterG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Wildhack97,
author = {Rolf Wildhack},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formale Spezifikationsmethoden auf dem Pr{\"{u}}fstand: Erfahrungen
bei der Implementierung komplexer Middleware},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {273--282},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Wildhack97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/1997,
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
isbn = {3-88457-315-2},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-26 14:15 CEST from data curated 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:
