REVISTA
IEEE SOFTWARE

Inicio / IEEE SOFTWARE / Vol: 17 Núm: 3 Par: 0 (2000) / Artículo

ARTÍCULO

TITULO

Validating Voice Communication Requirements Using Lightweight Formal Methods

Hö

rl

Johann

Aichernig

Bernhard K

Resumen

No disponible

PÁGINAS

pp. 21 - 27

NÚMERO

Volumen: 17 Número: 3 Parte: 0 (2000)

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