Hoang, Thai Son Pre-reading material for the Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF (Chapter 1 - Introduction) 121Kb | |
| PDF (Chapter 2 - Controlling Cars on a Bridge) 361Kb | |
| PDF (Summary of Mathematical Notation (Slides)) 1664Kb | |
| PDF (Summary of Mathematical Notation (4-up handout)) 756Kb | |
| PDF (Summary of Event-B Notation (Slides)) 364Kb | |
| PDF (Summary of Event-B Notation (4-up handout)) 200Kb | |
| PDF (Summary of Event-B Proof Obligations (Slides)) 594Kb | |
| PDF (Summary of Event-B Proof Obligations (4-up handout)) 280Kb | |
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Rodin Archive for "search" example) 22Kb | |
| PDF (Instructions) 64Kb |
| Item Type: | Teaching Resource |
|---|---|
| Subjects: | Training > Event-B Training > Rodin tool Event-B > Event-B Examples Event-B > Event-B Theory |
| ID Code: | 234 |
| Deposited By: | Thai Son Hoang |
| Deposited On: | 06 Jul 2010 11:18 |
| Last Modified: | 19 Jul 2010 16:19 |
Repository Staff Only: item control page
