PUBLICATIONS and PRESENTATIONS

Search

Show only items where

Author

Type

Term

Year

Keyword

Found 2 results

Filters: 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 .