Industrial deployment of system engineering methods providing high dependability and productivity

 

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]

[img]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

Deploy-Project - All right reserved