Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

by Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi
Published 2017-01-01

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

by Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara
Published 2020-08-01