paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 185552633Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/185552633/idCopier cet URI
Notice de type Titre

Point d'accès autorisé

Spin (logiciel)

Variante de point d'accès

Spin model checker (logiciel)
[Titre uniforme]


Terme générique

  Logiciels, Vérification

Source

Principles of the Spin model checker / M. Ben-Ari, 2008
The spin model checker : primer and reference manual / G. J. Holzmann, 2004
Verifying multi-threaded software with Spin - http://spinroot.com (2015-05-04)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/124149196258674790618
Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb169630862

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 185552633
RCR créateur de la notice : 4994
Date de création : 19-05-2015
RCR dernier modificateur de la notice : 341720001
Date de dernière modification : 11-03-2024 à 21 h 51

... Références liées : ...