Efficient Verification Tools for Real-Time and Hybrid Systems - From Ideas to Usages

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Brussels, Belgium
    Period16 Jul 2001
    Event titleInvited lecture at Dynamics Workshop: null
    Event typeConference
    LocationBrussels, Belgium

    Keywords

    • METIS-204830