Abrial, Jean-Raymond Electronic Circuits Development. [Teaching Resource] (Unpublished)
| PDF (Electronic Circuits Development) - Presentation 642Kb | |
ZIP Archive (Electronic Circuits Development - Arbiter (Rodin Platform archive)) - Supplemental Material 95Kb | ||
ZIP Archive (Electronic Circuits Development - Light (Rodin Platform archive)) - Supplemental Material 23Kb | ||
ZIP Archive (Electronic Circuits Development - Pulser (Rodin Platform archive)) - Supplemental Material 61Kb | ||
ZIP Archive (Electronic Circuits Development - Road (Rodin Platform archive)) - Supplemental Material 26Kb |
Item Type: | Teaching Resource |
---|---|
Subjects: | Training > Event-B Event-B > Event-B Examples |
ID Code: | 117 |
Deposited By: | Thai Son Hoang |
Deposited On: | 19 Jun 2009 19:05 |
Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page