EECS3342

User Tools

Site Tools

You are here: EECS3342 2016W System Specification and Refinement » Course Outline
Trace:
course_outline

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
course_outline [2015/04/07 23:50] – jonathancourse_outline [2016/04/19 22:22] (current) – jonathan
Line 8: Line 8:
  
   * Bridge controller (reactive systems) [[http://deploy-eprints.ecs.soton.ac.uk/112/1/sld.ch2.car.pdf|Chapter 2: Controlling cars on a bridge]]).   * Bridge controller (reactive systems) [[http://deploy-eprints.ecs.soton.ac.uk/112/1/sld.ch2.car.pdf|Chapter 2: Controlling cars on a bridge]]).
-    *Required readings: Read Chapters 1 and 2 from the suggested text [[http://www.event-b.org/A_ch2.pdf|chapter 2]]+  *Required readings: Read Chapters 1 and 2 from the suggested text [[http://www.event-b.org/A_ch2.pdf|chapter 2]]
  
 Topics covered by the bridge controller include Topics covered by the bridge controller include
Line 81: Line 81:
   *R2: A doctor shall not prescribe two drugs that interact   *R2: A doctor shall not prescribe two drugs that interact
   *Goal:  minimize the number of undesirable interactions   *Goal:  minimize the number of undesirable interactions
 +
 +
  
course_outline.1428450657.txt.gz · Last modified: by jonathan