Abrial, Jean-Raymond Synchronizing Processes on a Tree Network. [Teaching Resource] (Unpublished)
| PDF (Synchronizing Processes on a Tree Network) - Presentation 300Kb | |
ZIP Archive (Synchronizing Processes on a Tree Network (Rodin Platform archive)) - Supplemental Material 89Kb |
Item Type: | Teaching Resource |
---|---|
Subjects: | Training > Event-B Event-B > Event-B Examples |
ID Code: | 119 |
Deposited By: | Thai Son Hoang |
Deposited On: | 19 Jun 2009 19:14 |
Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page