Login / Signup
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
Carlo A. Furia
Matteo Pradella
Matteo Rossi
Published in:
CoRR (2008)
Keyphrases
</>
real time
databases
artificial intelligence
low cost
model checking
search engine
computer vision
decision making
probabilistic model
model selection
experimental data
classification models
formal methods
formal verification