Differences

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

--- course_outline [2015/04/07 23:50] – jonathan
+++ course_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]]).
-    *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
@@ Line 81: / Line 81: @@
   *R2: A doctor shall not prescribe two drugs that interact
   *Goal:  minimize the number of undesirable interactions