PUBLICATIONS and PRESENTATIONS

Found 2 results
Filters: Keyword is cybersecurity and Author is P. M. Showers  [Clear All Filters]
2019
Petty MD, Showers PM, Whitaker TS, Bland JA, Cantrell WA, Colvett CD, Maxwell KP. Modeling Cyberattacks with Extended Petri Nets: Research Program Update. 2019 AlaSim Conference and Exhibition. 2019 .
Cantrell WA, Showers PM, Petty MD. Verification of XML Encoded Petri Nets Modeling Cyberattacks. Proceedings of the 2019 AlaSim Conference and Exhibition. 2019 .