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.01s
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: Luna, Carlos
Temas: Formal Methods
Institución
1
Universidad de la República
Autor
1
Betarte Guidi, Gustavo
Luna, Carlos
1
Sierra Abbate, Luis Ricardo
Tipo
Reporte técnico
Temas
1
Correctness Proofs
1
Especificación y Prueba Asistida de Propiedades.
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...