Login / Signup
Building a stateful reference monitor with coloured petri nets.
Basel Katt
Michael Hafner
Xinwen Zhang
Published in:
CollaborateCom (2009)
Keyphrases
</>
coloured petri nets
monitoring system
real time
formal verification
data mining
data sets
lower bound
control system