RAFFS: Model Checking a Robust Abstract Flash File Store
Conference Paper
(2009)
Author(s)
P Taverne (External organisation)
C Pronk (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Research Group
Software Engineering
To reference this document use
https://resolver.tudelft.nl/uuid:cdcd9cee-a6f6-4720-92c2-10bae113516a
More Info
expand_more
expand_more
Publication Year
2009
Research Group
Software Engineering
Pages (from-to)
226-245
Publisher
Springer
ISBN (print)
978-3-642-10372-8
Event
ICFEM 2009 (2009-12-08 - 2009-12-11), Berlin
Downloads counter
120
No files available
Metadata only record. There are no files for this record.