Information Flow Analysis for Probabilistic Timed Automata.

Ruggero Lanotte Andrea Maggiolo-Schettini Angelo Troina

Published in: Formal Aspects in Security and Trust (2004)

Keyphrases

flow analysis
information sources
information flow
data sets
domain knowledge
search engine
information systems
knowledge base
prior knowledge
information extraction
higher level
information processing
information sharing