Skip to main

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

Término preferido

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

inglés

URI

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

Descargue este concepto:

RDF/XML TURTLE JSON-LD