Repositorio Institucional de la Universidad de Oviedo
View Item
RUO Home
Producción Bibliográfica de UniOvi: RECOPILA
Ponencias, Discursos y Conferencias
View Item
RUO Home
Producción Bibliográfica de UniOvi: RECOPILA
Ponencias, Discursos y Conferencias
View Item
Toggle navigation
español
English
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search RUO
This Collection
Browse
All of RUO
Communities and Collections
By Issue Date
Authors
Titles
Subjects
xmlui.ArtifactBrowser.Navigation.browse_issn
Author profiles
This Collection
By Issue Date
Authors
Titles
Subjects
xmlui.ArtifactBrowser.Navigation.browse_issn
My Account
Login
Register
Statistics
View Usage Statistics
RECENTLY ADDED
Last submissions
Repository
How to publish
Resources
FAQs
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Author:
Rodríguez González, Alejandro
;
Labra Gayo, José Emilio
;
Alor Hernández, Giner
;
Gómez Berbís, Juan Miguel
;
Posada Gómez, Rubén
Publication date:
2009
Publisher version:
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
Collections
Ponencias, Discursos y Conferencias
[4062]
Files in this item
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record