Artículo

Automated support for diagnosis and repair

Alrajeh, Dalal Icon ; Russo, AlessandraIcon ; Kramer, Jeff Icon ; Uchitel, SebastianIcon
Fecha de publicación: 02/2014
Editorial: Assoc Computing Machinery
Revista: Communications Of The Acm
ISSN: 0001-0782
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.
Palabras clave: Model , Checking
 
Archivos asociados
 
Tamaño: 32Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/2706
DOI: http://dx.doi.org/ 10.1145/2658986
URL: http://cacm.acm.org/magazines/2015/2/182635-automated-support-for-diagnosis-and-
DOI: http://dx.doi.org/10.1145/2658986
Colecciones
Articulos(OCA CIUDAD UNIVERSITARIA)
Articulos de OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA
Articulos(SEDE CENTRAL)
Articulos de SEDE CENTRAL
Citación
Alrajeh, Dalal ; Russo, Alessandra; Kramer, Jeff ; Uchitel, Sebastian; Automated support for diagnosis and repair; Assoc Computing Machinery; Communications Of The Acm; 58; 2-2014; 65-72
Compartir
Altmétricas