paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 25474589XCopier cet identifiant (PPN)
Notice de type Collectivité

Point d'accès autorisé

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

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é]

Information

Langue d'expression : Francais
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

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

Autres identifiants

Identifiant HAL : 1065710
Identifiant RNSR : 202123712M

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

Equivalent dans un autre référentiel

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