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 : 237188481Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/237188481/idCopier cet URI
Notice de type Collectivité

Point d'accès autorisé

Equipe de recherche Validation de systèmes, composants et objets logiciels (Grenoble ; 20..-....)

Sur le web

Variantes de point d'accès

Validation de systèmes, composants et objets logiciels
[Nom de collectivité]
Validation of softwaresystems, components and objects
[Nom de collectivité]
Vasco
[Nom de collectivité]
Equipe de recherche Vasco
[Nom de collectivité]

Information

Langue d'expression : français
Pays associé : France
Date de naissance : 20XX

Notes

Note sur la biographie et les activités : 
Equipe de recherche UGA/CNRS/INPG du LIG, Grenoble

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/338156563472323240919

Source

ParTrap : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques / Yoann Blein, 2019
https://aurehal.archives-ouvertes.fr/structure/read/id/49644, 2019-07-18
https://www.liglab.fr/fr/la-recherche/axes-et-equipes-de-recherche/vasco, 2019-07-18

Informations sur la notice

Identifiant de la notice : 237188481
RCR créateur de la notice : 384212101
Date de création : 18-07-2019
RCR dernier modificateur de la notice : 384212103
Date de dernière modification : 31-07-2026 à 10 h 31

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