PUBLICATIONS and PRESENTATIONS
Found 2 results
Filters: Author is P. M. Showers [Clear All Filters]
Verification of XML Encoded Petri Nets Modeling Cyberattacks. Proceedings of the 2019 AlaSim Conference and Exhibition. 2019 .
. Modeling Cyberattacks with Extended Petri Nets: Research Program Update. 2019 AlaSim Conference and Exhibition. 2019 .
.