Revistas
Artículos
Publicaciones
Documentos
REVISTA
IEEE SOFTWARE
TODAS
Inicio
/
IEEE SOFTWARE
/
Vol: 26 Núm: 3 Par: 0 (2009)
/
Artículo
ARTÍCULO
TITULO
Formal Modeling and Verification of Safety-Critical Software
Junbeom Yoo
Eunkyoung Jee
Sungdeok Cha
Resumen
No disponible
PÁGINAS
pp. 42 - 46
NÚMERO
Volumen: 26 Número: 3 Parte: 0 (2009)
MATERIAS
INGENIERÍA Y CONSTRUCCIÓN CIVIL
Revistas destacadas
Infrastructures
Informed Infraestructure
BiT
Revista de la Construcción
Ver todas las revistas