Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Dates et versions

cea-03463379 , version 1 (02-12-2021)

Identifiants

Citer

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⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More