Structural decomposition of timed CPS and its application in real time testing

Oliver Meyer. Structural decomposition of timed CPS and its application in real time testing. PhD thesis, University of Bremen, 2002.

Abstract

Abstract is missing.