Documents for the masters: "Métodos Formales en Ingeniería Informática"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Name | No Grouping
Number of items: 3.

16 July 2021

Ballesteros González, Ignacio (2021). SAT solving via Algebraic Normal Form and GPU. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

6 July 2021

Pérez Carrasco, Víctor (2021). Improvements to parametric cost analysis and its application to smart contracts. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

30 October 2020

Bueso de Barrio, Luis Eduardo (2020). Model checking of smart contracts using logic programs. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM