 |
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013 |
 |
- Brno University of Technology [Brno]
- C-LAB [Paderborn]
- Carl Von Ossietzky Universität Oldenburg
- Centre National de la Recherche Scientifique
- Centre d'études et de recherche en informatique et communications
- Centre de Recherche en Informatique
- Christian-Albrechts-Universität zu Kiel
- Conservatoire National des Arts et Métiers [CNAM]
- Daimler Chrysler AG
- Deduction modulo, interopérabilité et démonstration automatique
- dSpace
- Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
- Federal University of Minas Gerais
- Heinz Nixdorf Institute
- IDCapture
- Inria Paris-Rocquencourt
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut Supérieur d'Electronique de Paris
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Information Technology [Oldenburg]
- Japan Advanced Institute of Science and Technology
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication
- MINES ParisTech - École nationale supérieure des mines de Paris
- Nagoya University
- Nara Institute of Science and Technology
- Northeastern University [Boston]
- OKUMA Corporation
- Ritsumeikan University
- Saint-Petersburg State University of Aerospace Instrumentation
- Saint-Petersburg University of Aerospace Instrumentation
- Santa Catarina State University
- Tampere University of Technology [Tampere]
- Technische Universität Berlin
- Technische Universität Darmstadt
- Universidad de la República [Montevideo]
- Universidade Federal do Rio Grande do Sul [Porto Alegre]
- Universidade Tecnológica Federal do Paraná [Curitiba]
- University of California
- University of California [Irvine]
- University of Paderborn
- University of Southern Denmark
- University of Stuttgart
- University of Texas at Austin [Austin]
- Universität Duisburg-Essen [Essen]
- Université Joseph Fourier - Grenoble 1
- Université Paris sciences et lettres
- Université Pierre Mendès France - Grenoble 2
- Validation de Systèmes, Composants et Objets logiciels
- Vanderbilt University [Nashville]
- ZF Friedrichshafen AG