Skip to Main content Skip to Navigation
New interface
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
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

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⟩

Share

Metrics

Record views

24