Die letzten Foliensätze: Zusammenfassung der Vorlesung und alle der Foliensatz als eine Datei:

15_GMDE_Zusammenfassung-und-Ausblick

GMDE-Foliensatz-Gesamt

13_GMDE_Erkennen-inkonsistenter-Anforderungen

14_GMDE_Modellbasiertes-Testen

12_GMDE_Konfluenz-und-Termination

11_GMDE_Parallele-und-sequentielle-Unabhaengigkeit