Property Preserving Transition Refinement with Concurrent Runs: An Example.

Published in: ACSD (2001)

Keyphrases

mutual exclusion
genetic algorithm
knowledge base
website
high level
information technology
artificial neural networks
evolutionary algorithm
database
search engine
case study
desirable properties
state transition
global consistency
image details
monotonicity property