Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets

Shabnam Pasandideh, Pedro Pereira, Luis Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets'. Together they form a unique fingerprint.

Engineering & Materials Science