Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive]
ZIP Archive (Question/Response protocol) 47Kb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Industrial Deployment > Business Methodology > Composition and reuse Event-B > Event-B Examples |
ID Code: | 230 |
Deposited By: | Thai Son Hoang |
Deposited On: | 14 Jun 2010 11:29 |
Last Modified: | 14 Jun 2010 11:29 |
Repository Staff Only: item control page