Performability assessment using model checking

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Eindhoven
    Period13 Mar 2003
    Event titleTalk at Benelux Workshop for Performance Analysis of Communicating Systems: null
    Event typeConference
    LocationEindhoven

    Keywords

    • METIS-215019