Potential applications of model checking in probabilistic risk assessments

    Research output: Book/ReportReport

    107 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Potential applications of model checking in probabilistic risk assessments'. Together they form a unique fingerprint.

    INIS

    Keyphrases

    Engineering

    Computer Science