Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Using model checking to find serious file system errors

Using model checking to find serious file system errors

Yang, Junfeng, Twohey, Paul, Engler, Dawson, Musuvathi, Madanlal
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
24
Langue:
english
Journal:
ACM Transactions on Computer Systems
DOI:
10.1145/1189256.1189259
Date:
November, 2006
Fichier:
PDF, 521 KB
english, 2006
La conversion en est effectuée
La conversion en a échoué