Proving Determinacy of the PharOS Real-Time Operating System.

Selma Azaiez Damien Doligez Matthieu Lemerre Tomer Libal Stephan Merz

Published in: ABZ (2016)

Keyphrases

conjunctive queries
databases
data analysis
relational databases
search engine
optimal solution
knowledge discovery
building blocks
keywords
data points
information retrieval systems
decision support
pose estimation