 |
Book sections
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
Cinzia Bernardeschi
1
Andrea Domenici
1
Maurizio Palmieri
1
Sergio Saponara
1
Tanguy Sassolas
2
Arief Wicaksana
2
Lilia Zaourar
2
2
LECA - Laboratoire Environnement de Conception & Architecture
Université Paris-Saclay, DSCIN - Département Systèmes et Circuits Intégrés Numériques : DRT/LIST/DSCIN
Cinzia Bernardeschi 1
Author
Andrea Domenici 1
Author
Maurizio Palmieri 1
Author
Sergio Saponara 1
Author
1
Dipartimento di Ingegneria dell'Informazione [Pisa] (Via G. Caruso 16 - 56122 - Pisa - Italy)
- University of Pisa - Università di Pisa (Lungarno Pacinotti 43 - 56126 Pisa - Italy)
2
LECA - Laboratoire Environnement de Conception & Architecture (CEA-Palaiseau - France)
- Université Paris-Saclay (Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette - France)
- DSCIN - Département Systèmes et Circuits Intégrés Numériques : DRT/LIST/DSCIN (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
Document type :
Book sections
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-03463379
Contributor : Ayoub Mouhagir Connect in order to contact the contributor
Submitted on : Thursday, December 2, 2021 - 1:49:33 PM
Last modification on : Monday, December 13, 2021 - 9:17:39 AM
Contributor : Ayoub Mouhagir Connect in order to contact the contributor
Submitted on : Thursday, December 2, 2021 - 1:49:33 PM
Last modification on : Monday, December 13, 2021 - 9:17:39 AM
Identifiers
- HAL Id : cea-03463379, version 1
- DOI : 10.1007/978-3-030-67220-1_20
Collections
CEA | TDS-MACS | DSCIN | DRT | LIST | GS-ENGINEERING | CEA-UPSAY | GS-COMPUTER-SCIENCE
Citation
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, et al.. Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 12524, Springer International Publishing, pp.263-279, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-67220-1_20⟩. ⟨cea-03463379⟩
Metrics
Les métriques sont temporairement indisponibles