Modelling and proof of a Tree-structured File System in Event-B and Rodin


Damchoom, Kriangsak, Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System in Event-B and Rodin At ICFEM 2008. , pp. 25-44. (doi:10.1007/978-3-540-88194-0_5).

Download

[img] PDF TreeFileSysICFEM2008.pdf - Accepted Manuscript
Download (181kB)
Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/978-3-540-88194-0_5
Additional Information: Springer LNCS 5256
Venue - Dates: ICFEM 2008, 2008-10-01
Organisations: Electronic & Software Systems
ePrint ID: 266050
Date :
Date Event
October 2008Published
Date Deposited: 04 Jul 2008 08:32
Last Modified: 17 Apr 2017 19:09
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266050

Actions (login required)

View Item View Item