Lecture
check chart
patch repair
check
algorithm on the timing diagram
abstract and structural synthesis of the automaton
Comments