Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive]
![]() | ZIP Archive (in support of "Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations" - item no 298) - Supplemental Material 245Kb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Event-B > Event-B Examples |
ID Code: | 300 |
Deposited By: | Dr Jeremy Bryans |
Deposited On: | 12 Apr 2011 14:01 |
Last Modified: | 12 Apr 2011 14:05 |
Repository Staff Only: item control page