REVISTA
PROCEEDINGS OF THE IEEE

Inicio / PROCEEDINGS OF THE IEEE / Vol: 91 Núm: 1 Par: 0 (2003) / Artículo

ARTÍCULO

TITULO

Invisible Formal Methods for Embedded Control Systems (Invited Paper)

Tiwari

A. Shankar

N. Rushby

J.

Resumen

No disponible

PÁGINAS

pp. 29 - 39

NÚMERO

Volumen: 91 Número: 1 Parte: 0 (2003)

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