english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería
  3. Instituto de Computación
  4. Reportes Técnicos
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/3541 Cómo citar
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorBetarte, Gustavoes
dc.contributor.authorLuna, Carloses
dc.contributor.authorSierra Abbate, Luis Ricardoes
dc.date.accessioned2014-12-02T16:07:48Z-
dc.date.available2014-12-02T16:07:48Z-
dc.date.issued2007es
dc.date.submitted20141202es
dc.identifier.citationBETARTE, G., LUNA, C., SIERRA ABBATE, L. "Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)". Reportes Técnicos 07-14. UR. FI – INCO, 2007.es
dc.identifier.issn0797-6410es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3541-
dc.description.abstractEste artículo presenta al Instituto de Computación (InCo) de la Facultad de Ingeniería (FING) de la Universidad de la República (Uruguay) y en particular a su grupo de Métodos Formales. Se describen las actividades principales de los miembros de dicho grupo, tanto de formación de recursos humanos como de investigación, relacionadas con la especificación y verificación formal de sistemas computacionales críticos.es
dc.format.extent7 p.es
dc.format.mimetypeapplication/pdfes
dc.languageeses
dc.publisherUR. FI – INCO.es
dc.relation.ispartofReportes Técnicos 07-14es
dc.rightsLas obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)es
dc.subjectSoftware Program Verificationes
dc.subjectFormal Methodses
dc.subjectCorrectness Proofses
dc.subjectModel Checkinges
dc.subjectMétodos Formaleses
dc.subjectVerificación de Sistemas Embebidoses
dc.subjectEspecificación y Prueba Asistida de Propiedades.es
dc.titleEspecificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)es
dc.typeReporte técnicoes
dc.rights.licenceLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
Aparece en las colecciones: Reportes Técnicos - Instituto de Computación

Ficheros en este ítem:
Fichero Descripción Tamaño Formato   
TR0714.pdf89,09 kBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons