Verification of XML Encoded Petri Nets Modeling Cyberattacks
| Title | Verification of XML Encoded Petri Nets Modeling Cyberattacks |
| Publication Type | Conference Proceedings |
| Year of Publication | 2019 |
| Authors | Cantrell, WA, Showers, PM, Petty, MD |
| Conference Name | Proceedings of the 2019 AlaSim Conference and Exhibition |
| Date Published | 10/2019 |
| Publisher | Proceedings of the 2019 AlaSim Conference and Exhibition |
| Conference Location | Huntsville, AL |
| Keywords | cybersecurity |
Involved Persons:
