Access content directly
-
-
IFIP-FMOODS - Formal Methods for Open Object-Based Distributed Systems
1
-
LISPEN - Laboratoire d'Ingénierie des Systèmes Physiques et Numériques
1
-
ANR - ANR
19
-
SUP_ASH - ASH - Equipe Automatique des Systèmes Hybrides
1
-
LINA-ATLANMOD - ATLANMOD
2
-
IETR-AUT - AUTomatic control
1
-
ACT-R - Act'R
2
-
UNIV-AMU - Aix Marseille Université
2
-
IFIP-WG6-1 - Architectures and Protocols for Distributed Systems
1
-
CEA - CEA - Commissariat à l'énergie atomique
1
-
CNRS - CNRS - Centre national de la recherche scientifique
332
-
CRISTAL-DREAMPAL - CRISTAL-DREAMPAL
1
-
CRISTAL-EAST - CRISTAL-EAST
2
-
CRISTAL-RMOD - CRISTAL-RMOD
2
-
CRI - Centre de Recherche en Informatique de Paris 1
1
-
CRISTAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)
3
-
CERI-SN - Centre d’Enseignement, de Recherche et d’Innovation Systèmes Numériques (CERI SN)
11
-
LORIA-FM - Department of Formal methods
3
-
DRT - Direction de la recherche technologique
1
-
DAPI - Département automatique, productique et informatique
1
-
INFO - Département informatique
10
-
EC-PARIS - Ecole Centrale Paris
16
-
EC-MARSEILLE - Ecole Centrale de Marseille
1
-
EC-NANTES - Ecole Centrale de Nantes
17
-
CENTRALESUPELEC - Ecole CentraleSupélec
6
-
ENSSAT - Ecole Nationale Supérieure des Sciences Appliquées et de Technologie
1
-
ENIB - Ecole Nationale d'Ingénieurs de Brest
1
-
ENS-CACHAN - Ecole Normale Supérieure de Cachan
3
-
ENS-PARIS - Ecole Normale Supérieure de Paris
1
-
ENS-PARIS-SACLAY - Ecole Normale Supérieure paris-Saclay
3
-
SU-SCIENCES - Faculté des Sciences de Sorbonne Université
1
-
IFIP-LNCS-7273 - Formal Techniques for Distributed Systems
1
-
FEMTO-ST - Franche-Comté Electronique, Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
8
-
GS-SPORT-HUMAN-MOVEMENT - Graduate School Sport, Mouvement, Facteurs Humains
1
-
INSA-GROUPE - Groupe INSA
10
-
LIG_GLSI - Génie des Logiciels et des Systèmes d'Information
1
-
UGA - HAL Grenoble Alpes
4
-
IFIP - IFIP - International Federation for Information Processing
1
-
IFIP-LNCS - IFIP - Lecture Notes in Computer Science
1
-
IFIP-TC - IFIP Technical Committees
1
-
IFIP-FORTE - IFIP-FORTE
1
-
LIG_SIC_IIHM - IIHM
2
-
IMAG - IMAG
2
-
IMT-NORD-EUROPE - IMT Nord Europe
11
-
IMT-ATLANTIQUE - IMT-ATLANTIQUE
9
-
INRIA - INRIA - Institut National de Recherche en Informatique et en Automatique
45
-
INRIA2 - INRIA 2
42
-
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
1
-
GALILE - Institut Galilée Université Paris 13
3
-
INSTITUT-TELECOM - Institut Mines Télécom
37
-
INSA-RENNES - Institut National des Sciences Appliquées de Rennes
23
-
SUP_IETR - Institut d'Electronique et de Télécommunications de Rennes
1
-
IETR - Institut d'Électronique et des Technologies du numéRique - UMR CNRS 6164
1
-
IRENAV - Institut de Recherche de l’École navale
1
-
IRCCYN - Institut de Recherche en Communication et Cybernétique de Nantes
8
-
IRISA-INSA-R - Institut de Recherche en Informatique et Systèmes Aléatoires - Composante INSA Rennes
2
-
IRISA - Irisa
23
-
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
19
-
LARA - LARA
10
-
LINA-COLOSS - LINA - Equipe COmposants et LOgiciels SûrS
82
-
LINA-GDD - LINA - Equipe Gestion de Données Distribuées
10
-
LINA-MODAL - LINA - Equipe Langages de MODélisation d'Architectures Logicielles
124
-
LINA-ASCOLA - LINA - Langages d'Aspects et de Composants
7
-
LINA-AELOS - LINA-AELOS
344
-
LS2N-AELOS - LS2N - équipe AeLoS ( Architectures et Logiciels Sûrs )
1
-
LAMPA - Laboratoire Angevin de Mécanique, Procédés et innovAtion
1
-
LCPI - Laboratoire Conception de Produits et Innovation
1
-
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
7
-
PPS - Laboratoire Preuves, Programmes et Systèmes
2
-
LIG - Laboratoire d'Informatique de Grenoble
2
-
LINA - Laboratoire d'Informatique de Nantes Atlantique
338
-
LIPN - Laboratoire d'Informatique de Paris-Nord
3
-
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
35
-
LIS-LAB - Laboratoire d'Informatique et Systèmes
2
-
I3S - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis
4
-
LIST - Laboratoire d'Intégration des Systèmes et des Technologies
1
-
LIF - Laboratoire d'informatique fondamentale de Marseille
1
-
LABOMAP - Laboratoire des Matériaux et Procédés
1
-
LS2N - Laboratoire des Sciences du Numérique de Nantes
318
-
LAB-STICC_ENIB - Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance, site ENIB Brest
1
-
LAB-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
1
-
LAMIH - Laboratoire d’Automatique, de Mécanique et d’Informatique Industrielles et Humaines
1
-
LIUPPA - Laboratoire d’informatique de l’université de Pau et des Pays de l’Adour
13
-
MOVE - MOVE Modélisation et Vérification - LIS Laboratoire d'Informatique et Systèmes de Marseille (UMR 7020)
1
-
MIPS - Mathématiques, Informatique, Physique et Systèmes
35
-
MAREL - Models And Reuse Engineering, Languages
16
-
MSR2013 - Modélisation des Systèmes Réactifs - MSR'13
1
-
MSMP - Mécanique, Surfaces, Matériaux et Procédés
1
-
NANTES-UNIVERSITE - Nantes Université
329
-
UR1-MATH-NUM - Pôle UnivRennes - Mathématiques - Numérique
4
-
IRISA-D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
1
-
TDS-MACS - Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes
5
-
LIG_GLSI_SIGMA - SIGMA
1
-
STAR - STAR - Dépôt national des thèses électroniques
1
-
SUPELEC - SUPELEC
1
-
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
4
-
SORBONNE-UNIVERSITE - Sorbonne Université
1
-
LIG_SIC - Systèmes Interactifs et Cognitifs
2
-
LIG_SIDCH - Systèmes intelligents pour les données, les connaissances et les humains
2
-
IFIP-TC6 - TC 6: Communication Systems
1
-
UR1-UFR-ISTIC - UFR ISTIC Informatique et électronique
24
-
UR1-MATH-STIC - UR1 - publications Maths-STIC
24
-
UNIV-COTEDAZUR - Université Côte d'Azur
4
-
UNIV-PARIS1 - Université Panthéon-Sorbonne - Paris I
1
-
PSL - Université Paris sciences et lettres
1
-
UNIV-PARIS13 - Université Paris-Nord - Paris XIII
3
-
UNIV-PARIS-SACLAY - Université Paris-Saclay
1
-
UPMC - Université Pierre et Marie Curie
1
-
USPC - Université Sorbonne Paris Cité
2
-
SORBONNE-PARIS-NORD - Université Sorbonne Paris Nord
3
-
UNIV-EVRY - Université d'Evry-Val d'Essonne
1
-
UNIV-BREST - Université de Bretagne occidentale - Brest (UBO)
1
-
UNIV-FCOMTE - Université de Franche-Comté
8
-
UNIV-ROCHELLE - Université de La Rochelle
1
-
UNIV-LILLE3 - Université de Lille Sciences humaines et sociales
5
-
UNIV-LORRAINE - Université de Lorraine
7
-
UNIV-MONTPELLIER - Université de Montpellier
35
-
UNIV-NANTES - Université de Nantes
339
-
UNIV-PAU - Université de Pau et des Pays de l'Adour - E2S UPPA
13
-
UNIV-RENNES1 - Université de Rennes 1
24
-
UNIV-RENNES - Université de Rennes
24
-
UNIV-BM - Université de Technologie de Belfort-Montbeliard
8
-
UNIV-BM-THESE - Université de Technologie de Belfort-Montbeliard
8
-
UNIV-TLN - Université de Toulon
1
-
UNIV-VALENCIENNES - Université de Valenciennes et du Hainaut-Cambresis
1
-
VERIMAG - VERIMAG
1
-
WIMMICS - WIMMICS: Web-Instrumented Man-Machine Interactions, Communities, and Semantics
1
-
IFIP-WG - Working Groups
1
-
UNAM - l'unam - université nantes angers le mans
17
