State-Transition Computation Models and Program Correctness Thereon.

Kiyoshi Akama Ekawit Nantajeewarawat

Published in: J. Adv. Comput. Intell. Intell. Informatics (2007)

Keyphrases

state transition
complex systems
input output
finite state machines
statistical models
transition model
computer programs
state transitions
databases
probabilistic model
black box