Toggle navigation
Connexion
Connexion
Connexion avec ORCID
Créer un compte
Mot de passe oublié ?
Login oublié ?
Auteurs
Structures
Domaines
Revues
Projets ANR
Projets européens
Consultation des structures de recherche
Ce module vous permet de consulter la liste des structures.
Tout type de structure
Regroupement d'Institutions
Institution
Regroupement de Laboratoires
Laboratoire
Regroupement d'équipes
Équipe de recherche
Rechercher
Voir
Toutes les structures
Structures valides
Structures en attente de validation
Structures fermées
Trier
Trier les structures par nom
Trier les structures par type
Trier les structures par validité
Afficher
50 résultats par page
100 résultats par page
200 résultats par page
ind
name
sigle
typestruct
adresse
url
debut
fin
ACTIONS
206041
Infos complémentaires
parentName_s
Department of Formal Methods
Proof-oriented development of computer-based systems
MOSEL
researchteam
2357
Infos complémentaires
parentName_s
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications
Proof-oriented development of computer-based systems
MOSEL
researchteam
140234
Infos complémentaires
parentName_s
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Proof-oriented development of computer-based systems
MOSEL
researchteam
Voir
Toutes les structures
Structures valides
Structures en attente de validation
Structures fermées
Trier
Trier les structures par nom
Trier les structures par type
Trier les structures par validité
Afficher
50 résultats par page
100 résultats par page
200 résultats par page
×
Close
Informations
