System Validation: Automata and behavioural equivalences

Completed by Francesc Rocher

July 15, 2020

3 hours (approximately)

View certificate for Francesc Rocher, System Validation: Automata and behavioural equivalences, an online non-credit course authorized by EIT Digital  and offered through Coursera