AVANZADA

1 Artículos

Buscar Revistas

Formal Modeling and Verification of Safety-Critical Software

Solicitud

usuarios registrados

Junbeom Yoo; Eunkyoung Jee; Sungdeok Cha Pág. 42 - 46

Revista: IEEE SOFTWARE Formato: Impreso

Tabla de contenido: Vol: 26 Num: 3 Par: 0 Año: 2009

« Anterior Página: 1 de 1 Siguiente »