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

Point d'accès autorisé

Groupe de travail modélisation, vérification et tests des systèmes informatisés du Laboratoire Bordelais de Recherche en Informatique

Sur le web

Variantes de point d'accès

LaBRI. MVTsi
[Nom de collectivité]
Université de Bordeaux 1. Laboratoire Bordelais de Recherche en Informatique. Groupe de travail modélisation, vérification et tests des systèmes informatisés
[Nom de collectivité]
Université de Bordeaux 1. LaBRI. MVTsi
[Nom de collectivité]

Information

Langue d'expression : français
Pays associé : France

Identifiants externes

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

Source

Langages formels et sûreté de fonctionnement des systèmes critiques. Lot n°3a-3b : projet ISDF n°8/95 / étude réalisée par LaBRI-MVTsi et LADS ; étude conduite par l'Institut de sûreté de fonctionnement, 1996

Informations sur la notice

Identifiant de la notice : 158901908
RCR créateur de la notice : 545472102
Date de création : 01-03-2012
RCR dernier modificateur de la notice : 545472102
Date de dernière modification : 05-05-2025 à 12 h 48

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