Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation

Open Access

Peer-reviewed

Research Article

Misbah Razzaq,

Affiliation Department of Computational Sciences, Research Center for Modeling & Simulation (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan
⨯
Jamil Ahmad

* E-mail: jamil.ahmad@rcms.nust.edu.pk

Affiliation Department of Computational Sciences, Research Center for Modeling & Simulation (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan
⨯

Reader Comments (0)

Animal behavior
Is the Subject Area "Animal behavior" applicable to this article?

Thanks for your feedback.
Prisms
Is the Subject Area "Prisms" applicable to this article?

Thanks for your feedback.
Simulation and modeling
Is the Subject Area "Simulation and modeling" applicable to this article?

Thanks for your feedback.
Internet
Is the Subject Area "Internet" applicable to this article?

Thanks for your feedback.
Computer software
Is the Subject Area "Computer software" applicable to this article?

Thanks for your feedback.
Computers
Is the Subject Area "Computers" applicable to this article?

Thanks for your feedback.
Markov models
Is the Subject Area "Markov models" applicable to this article?

Thanks for your feedback.
Quantitative analysis
Is the Subject Area "Quantitative analysis" applicable to this article?

Thanks for your feedback.