Economics of software verification.

Gerard J. Holzmann

Published in: PASTE (2001)

Keyphrases

computational intelligence
game theory
neural network
artificial intelligence
intelligent systems
databases
genetic algorithm
decision making
natural language
fuzzy logic