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

researchr

You are not signed in
Sign in
Sign up

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar. Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. In Loek Cleophas, Mieke Massink, editors, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Volume 12524 of Lecture Notes in Computer Science, pages 263-279, Springer, 2020. [doi]

This author has not been identified. Look up 'Cinzia Bernardeschi' in GoogleThis author has not been identified. Look up 'Andrea Domenici' in GoogleThis author has not been identified. Look up 'Maurizio Palmieri' in GoogleThis author has not been identified. Look up 'Sergio Saponara' in GoogleThis author has not been identified. Look up 'Tanguy Sassolas' in GoogleThis author has not been identified. Look up 'Arief Wicaksana' in GoogleThis author has not been identified. Look up 'Lilia Zaourar' in Google

runs on WebDSL