Specification and Modeling of Reactive Real-Time Systems
2 Units - Fall, 1996 - Tu, Th: 11-12:30 - 299 Cory
Notes
The following will not track the lectures perfectly:
- Lecture 1: scribe notes.
- Lecture 2: scribe notes, prof notes (postscript).
- Lecture 3: scribe notes, prof notes (postscript).
- Lecture 4: scribe notes, prof notes (postscript), Mike Williamson notes (postscript), (pdf).
- Lecture 5: scribe notes, prof notes (postscript).
- Lecture 6: scribe notes (html), (postscript), (tex), prof notes (postscript).
- Lecture 7: scribe notes (html), (postscript), prof notes (postscript).
- Lecture 8: scribe notes (postscript) (html), prof notes (postscript).
- Lecture 9: scribe notes (postscript) (html), prof notes (postscript).
- Lecture 10: prof notes (postscript), scribe notes (postscript).
- Lecture 11: prof notes (postscript), scribe notes (html).
- Lecture 12: prof notes (postscript), scribe notes (html).
- Lecture 13: prof notes (postscript), scribe notes (html).
- Lecture 14: prof notes (postscript), scribe notes (html).
- Lecture 15: prof notes (postscript), scribe notes (postscript).
- Lecture 16: prof notes (postscript), scribe notes (html).
- Lecture 17: prof notes (postscript), scribe notes (html).
- Lecture 18: scribe notes (html).
- Lecture 19: scribe notes (ps),
(html).
- Lecture 20: guest lecturer viewgraphs (ps),
(ps, four to a page).
- Lecture 21: guest lecturer viewgraphs (ps).
- Lecture 22: scribe notes (html).