PUBLICATIONS and PRESENTATIONS

Found 2 results
Filters: Author is P. M. Showers  [Clear All Filters]
Conference Proceedings
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 .