Sign in
Secure Information Release in Timed Automata.
Panagiotis Vasilikos
Flemming Nielson
Hanne Riis Nielson
Published in:
POST (2018)
Keyphrases
</>
neural network
information sources
information sharing
database
databases
information retrieval
keywords
prior knowledge
information extraction
computer systems
semantic information
model checking