A concept for conformance testing of AutomationML models by means of formal proof using OCL.

Miriam Schleipen

Published in: ETFA (2010)

Keyphrases

formal proof
statistical models
test cases
experimental data
accurate models
databases
information retrieval
artificial intelligence
model selection
parameter estimation
petri net
computational models