Overview of OpenModel-based Validation with Partial Information.

Robert J. Hall Andrea Zisman

Published in: ASE (2003)

Keyphrases

partial information
incomplete information
genetic algorithm
databases
np complete
sensing actions