Lecture Notes
Class 7
Description:
Lecture presentation on synchronous systems, I/O automata, executions and traces, operations, composition, hiding, properties and proof methods, invariants, and simulation relations.
Resource Type:
Lecture Notes
pdf
192 kB
Class 7
Course Info
Instructor
As Taught In
Fall
2009
Level
Learning Resource Types
assignment
Problem Sets
notes
Lecture Notes
