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

Course Info

Learning Resource Types

assignment Problem Sets
notes Lecture Notes