https://wiki.eecs.yorku.ca/course_archive/2012-13/W/3342/ 2026-04-12T15:43:29+00:00 https://wiki.eecs.yorku.ca/course_archive/2012-13/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2012-13/W/3342/_media/wiki:dokuwiki-128.png text/html 2013-04-07T21:13:30+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2012-13/W/3342/important_dates?rev=1365369210&do=diff Grades Dates/Grades Winter 2013 Dates * January 7 - Winter Classes Start * February 16-22 - Reading Week * March 15 - Last date to drop courses without receiving a grade * April 5 - Winter Classes End * April 10-26 - Winter Exam. SC/ text/html 2013-04-07T15:52:22+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2012-13/W/3342/course_outline?rev=1365349942&do=diff Course Outline The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed: Reactive systems via the bridge example * Read the Rodin Users handbook up to and including Section 2.5.2. * Bridge controller (reactive systems) text/html 2013-03-20T14:52:39+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2012-13/W/3342/start?rev=1363791159&do=diff CSE3342 System Specification and Refinement Lecture Times * CSE3342 System Specification and Refinement, TR 11.30am, CB115. LAB Tuesday 13:00 LAS 1002A * Important: Subscribe to: 3342 Forum for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours.