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