The University of Southampton
University of Southampton Institutional Repository

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

Modelling and proof of a Tree-structured File System in Event-B and Rodin
Modelling and proof of a Tree-structured File System in Event-B and Rodin
978-3-540-88193-3
25-44
Damchoom, Kriangsak
932d249f-d57a-4e14-95c9-8aee2c2abf36
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Abrial, Jean-Raymond
5a25086f-b148-416d-b13e-3e3afd2764f7
Damchoom, Kriangsak
932d249f-d57a-4e14-95c9-8aee2c2abf36
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Abrial, Jean-Raymond
5a25086f-b148-416d-b13e-3e3afd2764f7

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

Record type: Conference or Workshop Item (Paper)
Text
TreeFileSysICFEM2008.pdf - Accepted Manuscript
Download (181kB)

More information

Published date: October 2008
Additional Information: Springer LNCS 5256
Venue - Dates: ICFEM 2008, 2008-10-01
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 266050
URI: http://eprints.soton.ac.uk/id/eprint/266050
ISBN: 978-3-540-88193-3
PURE UUID: 261daa51-98c5-4811-985f-7f9aafa7f4e2
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 04 Jul 2008 08:32
Last modified: 15 Mar 2024 02:50

Export record

Altmetrics

Contributors

Author: Kriangsak Damchoom
Author: Michael Butler ORCID iD
Author: Jean-Raymond Abrial

Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×