- Bisimulation
- Finite-State Machine
- Transition System
System Validation: Automata and behavioural equivalences
Completed by Dmitry Alexandrovich Bychenko
October 6, 2016
4 hours (approximately)
Dmitry Alexandrovich Bychenko's account is verified. Coursera certifies their successful completion of System Validation: Automata and behavioural equivalences