course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| course_outline [2012/10/30 22:55] – jonathan | course_outline [2012/11/28 19:55] (current) – jonathan | ||
|---|---|---|---|
| Line 90: | Line 90: | ||
| * safety properties and liveness properties | * safety properties and liveness properties | ||
| * discussion of the the bridge controller | * discussion of the the bridge controller | ||
| + | |||
| + | ===== General Considerations ===== | ||
| + | |||
| + | This is covered in the slides in the SVN: Readings/ | ||
course_outline.1351637727.txt.gz · Last modified: 2012/10/30 22:55 by jonathan