System Validation: Automata and behavioural equivalences

Completed by Harold Alexander Gallardo Muñoz

March 7, 2022

3 hours (approximately)

View certificate for Harold Alexander Gallardo Muñoz, System Validation: Automata and behavioural equivalences, an online non-credit course authorized by 28DIGITAL and offered through Coursera