Heiko Lotzbeyer

• Modellbasierte Testfallermittlung Fur Eingebettete Systeme in Sicherheitskritischen Anwendungen