Assisted generation of frame conditions for formal models.

Philipp Niemann Frank Hilken Martin Gogolla Robert Wille

Published in: DATE (2015)

Keyphrases

formal models
formal model
rule based systems
sufficient conditions
process model
artificial intelligence
business processes
consecutive frames
decision trees
three dimensional
image sequences
frame rate
environmental conditions
generation method
single frame