• English
    • español
  • English 
    • English
    • español
  • Login
Search 
  •   Home
  • 1.- Docencia
  • ICAI Escuela Técnica Superior de Ingeniería
  • Grado en Ingeniería de Tecnologías de Telecomunicación
  • KTT-Trabajos Fin de Grado
  • Search
  •   Home
  • 1.- Docencia
  • ICAI Escuela Técnica Superior de Ingeniería
  • Grado en Ingeniería de Tecnologías de Telecomunicación
  • KTT-Trabajos Fin de Grado
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

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. ...

Repositorio de la Universidad Pontificia Comillas copyright © 2015  Desarrollado con DSpace Software
Contact Us | Send Feedback
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_advisorxmlui.ArtifactBrowser.Navigation.browse_typeThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_advisorxmlui.ArtifactBrowser.Navigation.browse_type

My Account

LoginRegister

Discover

AdvisorLevchenko, Kirill (1)Author
3009A0A8-4576-4A26-9D9E-D4AFEAEEBA68 (1)
Subject33 Ciencias tecnológicas (1)3325 Tecnología de las telecomunicaciones (1)KTT (GITT) (1)... View MoreDate Issued2022 (1)

Repositorio de la Universidad Pontificia Comillas copyright © 2015  Desarrollado con DSpace Software
Contact Us | Send Feedback