Desarrollo de un sistema experto para ayudar a la verificación del sistema "TACAN"
- Vilar Martínez, José Manuel
- Montero-Sousa, Juan-Aurelio
- Calvo-Rolle, José Luis
- Casteleiro-Roca, José-Luis
ISSN: 0012-7361, 0012-7361
Año de publicación: 2014
Volumen: 89
Número: 1
Páginas: 112-121
Tipo: Artículo