C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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