A Logical Basis for the Specification of Reconfigurable Component-Based Systems.

Nazareno Aguirre T. S. E. Maibaum

Published in: FASE (2003)

Keyphrases

management system
computer systems
database
information retrieval
distributed systems
complex systems
formal languages
machine learning
social networks
image processing
multimedia
expert systems
intelligent systems