por Sergio G
•12 de abr de 2018
Other task... completed!!
por Nafees M
•23 de mai de 2018
Thanks Prof
por Emmanuel D
•5 de dez de 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, ...).