Formal Design of a Slow-Down Component for Almost Synchronous Streams.
| Title | Formal Design of a Slow-Down Component for Almost Synchronous Streams. |
| Publication Type | Journal Article |
| Year of Publication | 2006 |
| Authors | Dosch, W |
Bibtex:
@article {573,
title = {Formal Design of a Slow-Down Component for Almost Synchronous Streams.},
year = {2006},
note = {In: P. Dini, P. Lorenz, D. Magoni (eds.): Proceedings of the International Conference on Systems (ICONS 2006). Le Mourne, Mauritius, April 27-29, 2006. Los Alamitos, CA: IEEE Computer Society 2006, CD-ROM [ISBN 0-7695-2552-0]},
author = {W. Dosch}
}- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Christopher Walther
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Mahdi Pourghasem
- Manuel Herbst
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact