Industrial deployment of system engineering methods providing high dependability and productivity

 

Modelling and proof of a Tree-structured File System

Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press)

[img]ZIP Archive (Rodin archive of a Tree-structured File System)
678Kb

Official URL: http://eprints.ecs.soton.ac.uk/16050/1/TreeFileSysICFEM2008.pdf


Item Type:Conference or Workshop Item (Paper)
Subjects:Event-B > Event-B Examples
ID Code:22
Deposited By:Mr Kriangsak Damchoom
Deposited On:21 Apr 2008 15:57
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved