Repositorio Institucional de la Universidad de Oviedo
Ver ítem
RUO Principal
Producción Bibliográfica de UniOvi: RECOPILA
Ponencias, Discursos y Conferencias
Ver ítem
RUO Principal
Producción Bibliográfica de UniOvi: RECOPILA
Ponencias, Discursos y Conferencias
Ver ítem
Cambiar navegación
español
English
JavaScript is disabled for your browser. Some features of this site may not work without it.
Buscar en RUO
Esta colección
Listar
Todo RUO
Comunidades y Colecciones
Por fecha de publicación
Autores
Títulos
Materias
xmlui.ArtifactBrowser.Navigation.browse_issn
Perfil de autor
Esta colección
Por fecha de publicación
Autores
Títulos
Materias
xmlui.ArtifactBrowser.Navigation.browse_issn
Mi cuenta
Acceder
Registro
Estadísticas
Ver Estadísticas de uso
AÑADIDO RECIENTEMENTE
Novedades
Repositorio
Cómo publicar
Recursos
FAQs
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Autor(es) y otros:
Rodríguez González, Alejandro
;
Labra Gayo, José Emilio
;
Alor Hernández, Giner
;
Gómez Berbís, Juan Miguel
;
Posada Gómez, Rubén
Fecha de publicación:
2009
Versión del editor:
http://dx.doi.org/10.1109/CBMS.2009.5255449
URI:
http://www.scopus.com/inward/record.url?eid=2-s2.0-70449629569&partnerID=40
http://hdl.handle.net/10651/12266
ISSN:
1063-7125
Identificador local:
20090125
DOI:
10.1109/CBMS.2009.5255449
Colecciones
Ponencias, Discursos y Conferencias
[4062]
Ficheros en el ítem
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem