Change search
ReferencesLink to record
Permanent link

Direct link
Testing I/O Failures with Enforcer
2006 (English)In: Proc. 14th Int. Conf. on Formal Methods (FM 2006), 2006Conference paper (Refereed)
Place, publisher, year, edition, pages
2006.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-199164OAI: oai:DiVA.org:kth-199164DiVA: diva2:1060377
Conference
14th Int. Conf. on Formal Methods (FM 2006)
Note

Tool demonstration track

Available from: 2016-12-28 Created: 2016-12-28 Last updated: 2017-01-03Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Artho, Cyrille
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 20 hits
ReferencesLink to record
Permanent link

Direct link