Real-Time Model Checking: How UPPAAL really works and How to make UPPAAL really work

K.G. Larsen (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Vught, the Netherlands
    Period30 Nov 2001
    Event titleInvited lecture at IPA Fall Days on Timed Systems: null
    Event typeConference
    LocationVught, the Netherlands

    Keywords

    • METIS-204833