EECS3342

User Tools

Site Tools

You are here: EECS3342-W19 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 [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: by jonathan