Practical Verification of Component Substitutability Using Subtype Relation.

Premysl Brada Lukas Valenta

Published in: EUROMICRO-SEAA (2006)

Keyphrases

sequence data
real world
model checking
face verification
information systems
verification method
database
databases
genetic algorithm
knowledge base
bayesian networks
multi agent
control system
special case
distributed systems
concurrent systems