Statistical model checking in Uppaal: lets practice

Alexandre David, K.G. Larsen, Axel Legay, Marius Mikučionis

    Research output: Contribution to conferencePaperAcademic

    38 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Statistical model checking in Uppaal: lets practice'. Together they form a unique fingerprint.