Systematic development of hybrid systems

Thomas Stauner. Systematic development of hybrid systems. PhD thesis, TU München, 2001.

Abstract

Abstract is missing.