Login / Signup
Formal verification of DEVS simulation: web search engine model case study.
Alonso Inostrosa-Psijas
Veronica Gil-Costa
Gabriel A. Wainer
Mauricio Marín
Published in:
SummerSim (2016)
Keyphrases
</>
web search engines
case study
mathematical model
simulation model
web search
discrete event
formal verification
machine learning
model checking
query logs