An Incremental Refinement Approach to a Development of Flash File System in Event-B

Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive]

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

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.