Login / Signup
Spatio-temporal Models for Formal Analysis and Property-based Testing.
Nasser Alzahrani
Maria Spichkova
Jan Olaf Blech
Published in:
CoRR (2016)
Keyphrases
</>
formal analysis
spatio temporal
computational models
neural network
machine learning
case study
data model
probabilistic model
open source
statistical models