Format:
248 S. : graph. Darst.
ISBN:
3-486-24464-7
Series Statement:
GMD-Forschungszentrum Informationstechnik 〈Sankt Augustin〉: GMD-Berichte 283
Note:
Zugl.: Berlin, Techn. Univ., Habil.-Schr., 1997
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Softwareentwicklung
;
Echtzeitsystem
;
Eingebettetes System
;
Semantik
;
Software Engineering
;
Spezifikation
;
Synchronisierung
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift