Mostrando
1 - 1
resultados de
1
para buscar '
'
Saltar al contenido
Toggle navigation
Buscar
Sobre SILO
Repositorios
Contacto
Buscar:
Mostrando
1 - 1
resultados de
1
para buscar '
', tiempo de consulta: 0.02s
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Número de clasificación
Autor
Título
1
Reporte técnico
Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Autor(es):
Betarte Guidi, Gustavo
;
Luna, Carlos
;
Sierra Abbate, Luis Ricardo
Año:
2007
Institución:
Universidad de la República
Resultados agrupados
Quitar Filtros
Tipo: Reporte técnico
Autor: Betarte Guidi, Gustavo
Temas: Correctness Proofs
Institución
1
Universidad de la República
Autor
Betarte Guidi, Gustavo
1
Luna, Carlos
1
Sierra Abbate, Luis Ricardo
Tipo
Reporte técnico
Temas
Correctness Proofs
1
Especificación y Prueba Asistida de Propiedades.
1
Formal Methods
1
Model Checking
1
Métodos Formales
1
Software Program Verification
1
Verificación de Sistemas Embebidos
Año de publicación
desde:
hasta:
×
Cargando...