Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive]
ZIP Archive (Flash File System project) 4Mb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Methodology > Refinement Methodology > Requirements and evolution Event-B > Event-B Examples |
ID Code: | 243 |
Deposited By: | Mr Kriangsak Damchoom |
Deposited On: | 19 Aug 2010 11:18 |
Last Modified: | 26 Aug 2010 17:20 |
Repository Staff Only: item control page