Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme

BIB
Wittich, G.
08 / 1999
phdthesis