A Strategy for the Formal Composition of Frameworks.

Walter Mesquita Augusto Sampaio Ana Cristina Vieira de Melo

Published in: SEFM (2005)

Keyphrases

databases
search strategy
formal model
real time
data sets
real world
artificial intelligence
decision trees
video sequences
expert systems
relational databases
formal analysis