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

Point d'accès autorisé

Laboratoire Méthodes formelles (Gif-sur-Yvette, Essonne ; 2021-....)

Sur le web

Variantes de point d'accès

LMF
[Nom de collectivité]
UMR 9021
[Nom de collectivité]
UMR9021
[Nom de collectivité]
Unité mixte de recherche 9021
[Nom de collectivité]
Laboratoire des méthodes formelles
[Nom de collectivité]

Information

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

Notes

Note sur la biographie et les activités : 
Le laboratoire Méthodes formelles résulte de la fusion du Laboratoire de recherche en informatique et du Laboratoire Spécification et vérification (en 2021)

Note sur la biographie et les activités : 
Adresse : 4, avenue des Sciences, 91190 Gif-sur-Yvette


Notices d'autorité liées

Autre   CentraleSupélec (2015-....) (Établissement participant à partir de 2021)
Autre   Institut national de recherche en informatique et en automatique (France ; 1979-....) (Établissement participant à partir de 2021)

Identifiants externes

Identifiant HAL : 1065710
Identifiant RNSR : 202123712M
Identifiant ROR : 00gdtta79
Identifiant Wikidata : Q109042513
Identifiant VIAF : http://viaf.org/viaf/388162062779051650005

Source

Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie / Diane Gallois-Wong ; sous la direction de Sylvie Boldo. Thèse de doctorat : Informatique : université Paris-Saclay : 2021
https://appliweb.dgri.education.fr/rnsr, 2021-04-14

Information trouvée : 202123712M : Laboratoire Méthodes formelles. Établissement tutelle référent : CNRS. Établissements tutelles : université Paris-Saclay. ENS Paris-Saclay. Établissements participants : CentraleSupélec, Inria

Informations sur la notice

Identifiant de la notice : 25474589X
RCR créateur de la notice : 914712101
Date de création : 14-04-2021
RCR dernier modificateur de la notice : 914712101
Date de dernière modification : 05-05-2025 à 13 h 13

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