par Sergio G
•Apr 13, 2018
Other task... completed!!
par Nafees M
•May 24, 2018
Thanks Prof
par Emmanuel D
•Dec 05, 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, ...).