Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno.

Claudio de la Riva Javier Tuya José Ramón de Diego

Published in: JISBD (2000)

Keyphrases

modular structure
modular neural networks
information retrieval
search algorithm
social bookmarking
artificial intelligence
object recognition
digital libraries
web search
user behavior
modular architecture