Login / Signup
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