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. In, ICFEM 2008 Springer, 25-44.

Download

[img] PDF - Accepted Version
Download (177Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Springer LNCS 5256
ISBNs: 9783540881933
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266050
Date Deposited: 04 Jul 2008 08:32
Last Modified: 27 Mar 2014 20:11
Publisher: Springer
Further Information:Google Scholar
ISI Citation Count:4
URI: http://eprints.soton.ac.uk/id/eprint/266050

Actions (login required)

View Item View Item