Butler, Michael (2010) Slides on Event-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)
![]()
| PDF 3015Kb | |
![]()
| PDF 233Kb | |
![]()
| PDF 169Kb | |
![]()
| PDF 354Kb | |
![]()
| PDF 156Kb | |
![]()
| PDF 106Kb | |
![]()
| PDF 238Kb |
Item Type: | Teaching Resource |
---|---|
Subjects: | Training Training > Event-B |
ID Code: | 264 |
Deposited By: | Michael Butler |
Deposited On: | 15 Dec 2010 16:59 |
Last Modified: | 15 Dec 2010 16:59 |
Repository Staff Only: item control page