Suggestion de sujets dans votre recherche.
Résultat(s) 1 - 2 résultats de 2 pour la requête '"Software verification"', Temps de recherche: 0,05s Affiner les résultats
1
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Publié 2001
Sujets: “...Computer software Verification Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
2
On formalizing and normalizing role-based access control systems /
Sujets: “...Software verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche