Intransitive Non-Interference by Unfolding.

Paolo Baldan Francesco Burato Alberto Carraro

Published in: FACS (2014)

Keyphrases

petri net
multipath
learning algorithm
frequency selective
database
real time
data sets
machine learning
clustering algorithm
weak signal detection