Skip to Main content Skip to Navigation
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 
1 Dipartimento di Ingegneria dell'Informazione [Pisa]
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
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 : Thursday, February 17, 2022 - 10:08:06 AM

Identifiers

Collections

CEA | DRT | CEA-UPSAY | TDS-MACS | UNIV-PARIS-SACLAY | LIST | GS-ENGINEERING | GS-COMPUTER-SCIENCE | DSCIN

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

20