Elaborating Requirements Using Model Checking and Inductive Learning
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.
Elaborating Requirements Using Model Checking and Inductive Learning
Alrajeh, Dalal
;
Kramer, Jeff
;
Russo, Alessandra
URI:
http://repository.usthb.dz//xmlui/handle/123456789/8928
Date:
2013
Description:
361-383 p. ; 2.007 ko.
Afficher la notice complète
Fichier(s) constituant ce document
Nom:
nl3066.pdf
Taille:
1.959Mo
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
