Abrial, Jean-Raymond Train System. [Teaching Resource] (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF (Train System) - Presentation 262Kb | |
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Train System (Rodin Platform archive)) - Supplemental Material 192Kb |
| Item Type: | Teaching Resource |
|---|---|
| Subjects: | Training > Event-B Event-B > Event-B Examples |
| ID Code: | 124 |
| Deposited By: | Thai Son Hoang |
| Deposited On: | 19 Jun 2009 20:15 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
