Tool Supported Validation of Real-Time and Hybrid Systems

K.G. Larsen (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Lahemaa, Estonia
    Period4 Mar 2001
    Event titleInvited talk at Estonian Winterschool on Computer Science
    Event typeConference
    LocationLahemaa, Estonia

    Keywords

    • METIS-204823