A proposed Petri-net extension to analyze risk for evolving systems using an agent model.

Hassan KanjYehia KotbJean-Marie Flaus
Published in: ICCAD (2020)
Keyphrases