Search
Now showing items 1-1 of 1
How to Lift and Verify Differential Equations from Machine Code of Cyber-Physical Systems
(2022)
En este proyecto de Fin de Grado, se ha desarrollado una herramienta, denominada “InteGreat”, que obtiene las ecuaciones de control de dispositivos embebidos y las representa en un lenguaje de alto nivel como Python. ...