Autor
Mostrando ítems 1-1 de 1
-
How to Lift and Verify Differential Equations from Machine Code of Cyber-Physical Systems
Jarauta Gastelu, Javier (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. ...