Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.

Stephan Flake Wolfgang Müller

Published in: SEFM (2004)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
historical information
test cases
metamodel
past observations
machine learning
multi agent systems
expert systems
computational intelligence