Sign in

Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets.

Shabnam PasandidehPedro PereiraLuís Gomes
Published in: IECON (2022)
Keyphrases
  • statistical analysis
  • knowledge base
  • data structure
  • relational databases
  • query processing
  • model checking
  • hierarchical structure
  • tree structures