Información del autor
Documentos disponibles escritos por este autor (3)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2018-01-30We show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components[...]texto impreso
Martín, Óscar | 2013Presentamos la implementación de un model checker para sistemas con una cantidad de estados potencialmente infinita. Se ha desarrollado sobre el lenguaje y el sistema Maude, basado en lógica de reescritura. Los sistemas que se quieran analizar t[...]texto impreso
Ríos, Alexander ; García, Margarita ; Martín, Óscar ; Vidal, Roberto ; Arrebato Libros, (Colectivo) ; Revista Baid, (Colectivo) ; Borobiltxo Libros, (Colectivo) ; Columpio Dibujo, (Colectivo) ; Pardo Puch, Elisa ; Generación Espontánea, (Colectivo) ; FanCine>a, (Colectivo) ; La Más Bella, (Colectivo) ; La Pandemonio, (Colectivo) ; La Silueta, (Colectivo) ; Libros Mutantes, (Colectivo) ; Matera, (Colectivo) ; Migas Fanthing, (Colectivo) ; Mover sin mover, (Colectivo) ; Nosotros, (Colectivo) ; Numerando, (Colectivo) ; Esto no es Berlín, (Colectivo) ; Pipas Fanzine, (Colectivo) ; #Plaza Crítica, (Colectivo) ; Proyecto Rampa, (Colectivo) ; Olaf Ladousse, (Colectivo) ; Revista Asterisco, (Colectivo) ; Señor Tatá, (Colectivo) | Facultad de Bellas Artes, Vicedecanato de Extensión | 2012Papel+ es un encuentro de escritores, ilustradores, artistas, editoriales y colectivos que realizan publicaciones de forma independiente como medio para divulgar su trabajo artístico. Esta actividad busca reunir, bajo el formato de una muestra, [...]
