Timed Abstract Non-interference.

Roberto Giacobazzi Isabella Mastroeni

Published in: FORMATS (2005)

Keyphrases

petri net
state machines
high level
low level
multipath
higher level
discrete event
neural network
computer vision
information systems
feature selection
data structure
learning environment
multiresolution
finite state machines