Login / Signup
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.
Javier Cubo
Gwen Salaün
Carlos Canal
Ernesto Pimentel
Pascal Poizat
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
model checking
verification method
databases
software components
building blocks
mobile robot
concurrent systems
database
dynamic adaptation
relational databases
information technology
expert systems
learning environment
multimedia
search engine
genetic algorithm
information retrieval