Login / Signup

Building a stateful reference monitor with coloured petri nets.

Basel KattMichael HafnerXinwen Zhang
Published in: CollaborateCom (2009)
Keyphrases
  • coloured petri nets
  • monitoring system
  • real time
  • formal verification
  • data mining
  • data sets
  • lower bound
  • control system