Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme

Gunnar Wittich. Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme. PhD thesis, University of Oldenburg, Germany, 1999. [doi]

Abstract

Abstract is missing.