Habilitationsschrift, Dissertation, Diplomarbeit, ...
Die Links auf dieser Seite sind z.T. noch in Bearbeitung.
Bitte schicken Sie eine Email, wenn Sie etwas Konkretes benötigen.
Bredereke, J.:
Maintaining Families of Rigorous Requirements
for Embedded Software Systems.
Habilitation thesis, University of Bremen, Germany (2005).
(abstract -
pdf -
ps/gzip)
Bredereke, J.:
Communication Systems Design with Estelle - On Style, Efficiency,
and Analysis.
PhD thesis,
Shaker Verlag, Aachen, Germany,
ISBN 3-8265-2764-X
(Aug. 1997).
(abstract)
Bredereke, J.:
Entwurf einer formalen Semantik für Estelle
unter Verwendung von TLA mit Prädikatentransformatoren.
Diplomarbeit Nr. 858, Univ. of Hamburg, Dept. of Comp. Sci. (June 1992).
(ps/gzip)
Bredereke, J.:
Spezifikation und Verifikation des InRes-Protokolls
unter Verwendung von Estelle und temporaler Logik.
Studienarbeit Nr. 700, Univ. of Hamburg, Dept. of Comp. Sci. (Nov. 1990).
|
