Universidad Politecnica de Madrid
Login | Create Account
Search
Navegation
User Area
About Archivo Digital UPM
Dulcinea
Sherpa Romeo
Recolecta

Browse by Creator

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

Presentation at Congress or Day

Herranz Nieva, Ángel and Mariño Carballo, Julio and Carro Liñares, Manuel and Moreno Navarro, Juan José (2009) Modeling Concurrent Systems with Shared Resources. In: 14th International Workshop on Formal Methods for Industrial Critical Systems, 02/11/2009 - 03/11/2009, Eindhoven, Holanda.

Thesis

Herranz Nieva, Ángel (2010) An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay. Tesis(Doctoral), Computer Faculty (UPM).

This list was generated on Fri May 25 22:32:50 2012 CEST.

Archivo Digital UPM soporta OAI2.0 con una URL base de http://oa.upm.es/cgi/oai2

eprints
Archivo Digital UPM is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.