von Sergio G
•12. Apr. 2018
Other task... completed!!
von Nafees M
•23. Mai 2018
Thanks Prof
von Emmanuel D
•5. Dez. 2017
I eventually finished the 4 courses about system validation! I was globally very happy to follow these courses. I had already some knownledge about model checking and it was a very good way to get deeper understanding of the concepts and the theories. I think it will help me to get into other mathematical domains (formal methods, logic, ...).