Passer au contenu principal

Accueil / Sections du Comité national de la recherche scientifique (Preuve de concept)

Sections du Comité national de la recherche scientifique (Preuve de concept)

Section 6 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations > III. Sciences de la programmation et du logiciel > Sûreté de fonctionnement, vérification de modèles, analyse de programmes

Terme préférentiel

Sûreté de fonctionnement, vérification de modèles, analyse de programmes

III. Sciences de la programmation et du logiciel

Functional reliability, model checking, programme analysis

anglais

URI

http://data.loterre.fr/ark:/67375/SCO-JCDKM5VG-P

Télécharger ce concept :

RDF/XML TURTLE JSON-LD