A Decidable Notion of Timed Non-Interference.

Roberto Barbuti Luca Tesei

Published in: Fundam. Informaticae (2003)

Keyphrases

petri net
neural network
multipath
timed automata
first order logic
databases
machine learning
information retrieval
description logics
transitive closure