Mostrar el registro sencillo del ítem

dc.contributor.author
Alrajeh, Dalal  
dc.contributor.author
Russo, Alessandra  
dc.contributor.author
Kramer, Jeff  
dc.contributor.author
Uchitel, Sebastian  
dc.date.available
2015-11-09T18:33:28Z  
dc.date.issued
2014-02  
dc.identifier.citation
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  
dc.identifier.issn
0001-0782  
dc.identifier.uri
http://hdl.handle.net/11336/2706  
dc.description.abstract
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Assoc Computing Machinery  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Model  
dc.subject
Checking  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Automated support for diagnosis and repair  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2016-03-30 10:35:44.97925-03  
dc.journal.volume
58  
dc.journal.pagination
65-72  
dc.journal.pais
Estados Unidos  
dc.journal.ciudad
New York - USA  
dc.description.fil
Fil: Alrajeh, Dalal . Imperial College London; Reino Unido  
dc.description.fil
Fil: Russo, Alessandra. Imperial College London; Reino Unido  
dc.description.fil
Fil: Kramer, Jeff . Imperial College London; Reino Unido  
dc.description.fil
Fil: Uchitel, Sebastian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.journal.title
Communications Of The Acm  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/10.1145/2658986  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://cacm.acm.org/magazines/2015/2/182635-automated-support-for-diagnosis-and-repair/fulltext  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1145/2658986  

Archivos asociados
 
Tamaño: 32Kb
Formato: PDF
.