Skip to main content

Home / 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

Preferred term

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

English

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD