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
189789
Infos complémentaires
parentName_s
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)Inria Nancy - Grand EstDepartment of Formal Methods
Combination of approaches to the security of infinite states systems
CASSIS
researchteam
2015-12-31
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