A Tale of Three Programs.

Gerard J. Holzmann

Published in: IEEE Softw. (2017)

Keyphrases

computer programs
control structures
control program
database
genetic algorithm
decision making
learning environment
computer science
hidden markov models