In this page

Browse by Director

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.

Thesis

Danielsson Villegas, Luis Miguel (2018). Decentralised stream runtime verification. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Gorostiaga, Felipe (2018). Towards a stream-basedmonitoring language for asynchronous systems. 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

Archivo Digital UPM is the institutional digital repository maintained by the Library at the Universidad Politécnica de Madrid. Developed and maintained in EPrints.

Syndication: Atom, RSS 2.0 and RSS 1.0 (HTML)
Harvesting: OAI 2.0