start
This is an old revision of the document!
F09-GS/CSE6411: Programming Logic for Complex Systems
- Please login to the wiki (see bottom ↓ of this page for login).
- Slides from the first lecture and for the second are available in the SVN repository.
- Please try out the Rodin Event-B Eclipse tool (see below for links) in preparation for Monday's class.
Lecture Times
Winter 2009: Starting Wednesday March 4th, 2009
Mondays and Wednesdays: 11:30am-1pm
Location: SEL (Software Engineering Laboratory, CSEB2056)
start.1236567308.txt.gz · Last modified: 2009/03/09 02:55 by jonathan