EECS3342

User Tools

Site Tools

You are here: EECS3342-W20 System Specification and Refinement
Trace:
start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
start [2020/01/07 04:46] – jonathanstart [2020/01/07 16:03] (current) – jonathan
Line 14: Line 14:
  
   * EECS3342 System Specification and Refinement Lecture Times:   * EECS3342 System Specification and Refinement Lecture Times:
-    * Class TR 11.30am, LAS105+    * Class TR 11.30am, LSB105
     * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS1006. Lab attendance is required and there will be required labs, there is a Labtest almost every week.      * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS1006. Lab attendance is required and there will be required labs, there is a Labtest almost every week. 
     * In the Lab, we now use ''rodin3.4''. See [[:resources|Resources]]. On an EECS/Linux workstation, type rodin (which is aliased to Rodin 3.4).      * In the Lab, we now use ''rodin3.4''. See [[:resources|Resources]]. On an EECS/Linux workstation, type rodin (which is aliased to Rodin 3.4). 
start.1578372369.txt.gz · Last modified: by jonathan