REVISTA
IEEE SOFTWARE

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

Acceso directo a los números publicados en la revista Infrastructures

Infrastructures

Acceso directo a los números publicados en la revista Informed Infraestructure

Informed Infraestructure

Acceso directo a los números publicados en la revista BiT

BiT

Acceso directo a los números publicados en la revista Revista de la Construcción

Revista de la Construcción

Ver todas las revistas