Showing 1 - 3 results of 3 for search 'Andrea Domenici', query time: 0.02s Refine Results
  1. 1
    Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

    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
    Get full text
    Article
  2. 2
    Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

    Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case by Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri

    Published 2024-01-01
    Get full text
    Article
  3. 3
    Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

    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
    Get full text
    Article

Search Tools: