Coverage Estimation in Model Checking with Bitstate Hashing
Ouvrir une session
Accueil de DSpace
→
Électronique et Électrotechnique
→
Articles Électroniques
→
Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
Coverage Estimation in Model Checking with Bitstate Hashing
Ikeda, Satoshi
;
Jibiki, Masahiro
;
Kuno, Yasushi
URI:
http://repository.usthb.dz//xmlui/handle/123456789/9031
Date:
2013
Description:
477-486 p. ; 788ko.
Afficher la notice complète
Fichier(s) constituant ce document
Nom:
nl3089.pdf
Taille:
787.5Ko
Format:
PDF
Voir/
Ouvrir
Ce document figure dans la(les) collection(s) suivante(s)
Articles Électroniques
Chercher dans le dépôt
Chercher dans le dépôt
Cette collection
Parcourir
Tout DSpace
Communautés & Collections
Par date de publication
Auteurs
Titres
Sujets
Cette collection
Par date de publication
Auteurs
Titres
Sujets
Mon compte
Ouvrir une session
S'inscrire
