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

Point d'accès autorisé

Equipe-projet Construction de systèmes concurrents vérifiés (Montbonnot, Isère, France ; 2012-2025)

Sur le web

Variantes de point d'accès

Construction de systèmes concurrents vérifiés (Grenoble)
[Nom de collectivité]
Equipe de recherche Construction de systèmes concurrents vérifiés (Grenoble)
[Nom de collectivité]
Construction of verified concurrent systems (Grenoble)
[Nom de collectivité]
CONVECS
[Nom de collectivité]

Information

Langue d'expression : anglais, français
Pays associé : France
Date de naissance : 2012
Date de mort : 2025

Notes

Note sur la biographie et les activités : 
Equipe-projet de l'INRIA-Grenoble, rattachée comme équipe de recherche au LIG, Laboratoire d'informatique de Grenoble

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/9600162062776451650001
Identifiant RNSR : 201221019Z
Identifiant HAL : 1043323
Identifiant HAL : 178330
Identifiant HAL : 1042444

Source

aModèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets / Ajay Krishna Muroor Nadumane ; sous la direction de Gwen Salaün et Radu Mateescu et co-encadrée par Michel Le Pallec. Thèse de doctorat : Informatique : Université Grenoble Alpes : 2020

Information trouvée : bThèse préparée au sein de CONVECS Inria Grenoble-Rhône-Alpes et de l'Ecole Doctorale Mathématiques, Sciences et technologies de l'information, Informatique

Informations sur la notice

Identifiant de la notice : 25456349X
RCR créateur de la notice : 384219901
Date de création : 01-04-2021
RCR dernier modificateur de la notice : 384212103
Date de dernière modification : 05-05-2025 à 12 h 43

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