Property-Based Verification of Evolving ddd Petri Nets
| Title | Property-Based Verification of Evolving ddd Petri Nets |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Yasir Khan, Ehab Al-Shaer |
| Conference Name | International Conference of Software Engineering Advances |
| Date Published | 11/2015 |
| Keywords | Automated Synthesis of Resilient Architectures |
| Citation Key | node-24112 |