Skip to Main content Skip to Navigation
Book sections

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

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

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

Les métriques sont temporairement indisponibles