Flow chart of the Proposed Framework.

Abstract

<p>After reviewing literature, <i>SEIR</i> model is selected and a new <i>SEIDQR(S/I)</i> is proposed by modifying SEIR model. <i>SPN</i> of the proposed model is constructed and analysed in <i>Snoopy</i> and <i>Charlie</i>, after which the system is converted to <i>CTMC</i> and specifications are encoded in CSL for quantitative analysis in <i>PRISM</i> model checker.</p

    Similar works

    Full text

    thumbnail-image

    Available Versions