Login / Signup
Spatio-Temporal Models for Formal Analysis and Property-Based Testing.
Nasser Alzahrani
Maria Spichkova
Jan Olaf Blech
Published in:
STAF Workshops (2016)
Keyphrases
</>
formal analysis
spatio temporal
image sequences
moving objects
statistical models
computer vision
knowledge base
multi agent systems
model selection
business process
complex systems
formal methods