FSV Öffentlich

FSV

Stael Tchinda
Kurs von Stael Tchinda, aktualisiert more than 1 year ago Beitragende

Beschreibung

Formale Spezifikation und Verifikation SS2019

Modulinformationen

Keine Merkmale angegeben
Keine Merkmale angegeben

Karteikarten

2 Invarianten-Verifikation und Erreichbarkeitsanalyse
Weniger sehen
Keine Merkmale angegeben
Zusammenfassung anzeigen Zusammenfassung ausblenden