Login / Signup
Event Universes: Specification and Analysis Using Coq Proof Assistant.
Grygoriy Zholtkevych
Published in:
ICTERI Workshops (2019)
Keyphrases
</>
information retrieval
data analysis
data sets
high level
similarity measure
natural language
data model
statistical analysis
formal methods
event driven