Skip to main content

Home / Sections of the National Committee for Scientific Research (Proof of concept)

Sections of the National Committee for Scientific Research (Proof of concept)

Section 6 - Computer and Information Sciences: Foundations of Computer Science, Computation, Algorithms, Data and Knowledge Representation, Information Processing > III. Programming and software sciences > Functional reliability, model checking, programme analysis

Preferred term

Functional reliability, model checking, programme analysis

III. Programming and software sciences

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

French

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD