System Validation: Automata and behavioural equivalences
By EIT Digital via Coursera
Visit on coursera.org
★★★★☆ inspirational Highly recommended
