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