Chapitre D'ouvrage
Année : 2021
Ayoub Mouhagir : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-03463379
Soumis le : jeudi 2 décembre 2021-13:49:33
Dernière modification le : mercredi 3 avril 2024-11:14:12
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⟩
Collections
32
Consultations
0
Téléchargements