Pascal, Carine A-Style Decomposition Examples. [Rodin Archive]
![]() | ZIP Archive (Question Response A-Style Decomposition Example) - Other 66Kb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Tool developments > Rodin platform Methodology > Composition and reuse Tool developments > Model construction Event-B > Event-B Examples |
ID Code: | 139 |
Deposited By: | Laurent Voisin Laurent Voisin |
Deposited On: | 23 Jul 2009 14:27 |
Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page