CourseEye

Finite-State Machine Courses

System Validation: Automata and behavioural equivalences (Coursera)