Towards an integrated system model for testing and verification of automation machines.

Benjamin Hummel Peter Braun

Published in: MiSE (2008)

Keyphrases

computational model
artificial intelligence
network model
prediction model
statistical model
theoretical framework
probabilistic model
high level
decision making
control system
test cases
decision trees
experimental data
test data
formal model
information systems
real time