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
Further Information:Google Scholar
ISI Citation Count:4
URI: http://eprints.soton.ac.uk/id/eprint/266050

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics