course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
course_outline [2017/04/03 04:16] – jonathan | course_outline [2017/12/27 18:17] (current) – jonathan | ||
---|---|---|---|
Line 4: | Line 4: | ||
===== Introduction ===== | ===== Introduction ===== | ||
- | * {{: | ||
+ | Use this small project to get started with Event-B and the Rodin tool | ||
+ | |||
+ | * {{: | ||
+ | * [[https:// | ||
===== Reactive systems: Bridge ===== | ===== Reactive systems: Bridge ===== |
course_outline.txt · Last modified: 2017/12/27 18:17 by jonathan