FSV

Stael Tchinda
Course by Stael Tchinda, updated more than 1 year ago Contributors

Description

Formale Spezifikation und Verifikation SS2019

Module Information

No tags specified
No tags specified

Flashcards

2 Invarianten-Verifikation und Erreichbarkeitsanalyse
Show less
No tags specified
Show full summary Hide full summary