교육 기관: Sergio G
•2018년 4월 12일
Other task... completed!!
교육 기관: Nafees M
•2018년 5월 23일
Thanks Prof
교육 기관: Emmanuel D
•2017년 12월 5일
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, ...).