User Tools

Site Tools


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 [2017/04/03 04:16] jonathancourse_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
 +
   * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement.    * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement. 
 +  * [[https://youtu.be/aROKK2HKhog|Video Presentation]]
 +
  
  
course_outline.1491192977.txt.gz · Last modified: 2017/04/03 04:16 by jonathan