Passer au contenu principal

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

Terme préférentiel

Functional reliability, model checking, programme analysis

III. Programming and software sciences

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

français

URI

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

Télécharger ce concept :

RDF/XML TURTLE JSON-LD