course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
course_outline [2017/03/21 01:37] – jonathan | course_outline [2018/01/03 02:03] (current) – jonathan | ||
---|---|---|---|
Line 4: | Line 4: | ||
===== Introduction ===== | ===== Introduction ===== | ||
+ | |||
+ | Use this small project to get started with Event-B and the Rodin tool | ||
+ | |||
* {{: | * {{: | ||
+ | * [[https:// | ||
+ | |||
Line 75: | Line 80: | ||
===== Exam Preparation ===== | ===== Exam Preparation ===== | ||
- | Develop a phone book example by developing a mathematical model from informal E/ | + | The following examples are unlikely to be on the exam. |
+ | |||
+ | Develop a phone book example by developing a mathematical model from informal E/ | ||
Line 87: | Line 94: | ||
*R2: A doctor shall not prescribe two drugs that interact | *R2: A doctor shall not prescribe two drugs that interact | ||
*Goal: | *Goal: | ||
- | |||
course_outline.txt · Last modified: 2018/01/03 02:03 by jonathan