Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen

Heiko Lötzbeyer. Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen. PhD thesis, Technical University Munich, 2003.

Abstract

Abstract is missing.