Course in embedded-systems System Validation: Automata and behavioural equivalences (coursera.org) Also available on classcentral.com. By EIT Digital via Coursera ★ - 0 ratings