HaaST: Verification of soft and hard timed systems

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited
    Period13 Oct 2000
    Event title1st PROGRESS Workshop on Embedded Systems 2000
    Event typeWorkshop
    Conference number1
    OrganiserDutch Technology Foundation (STW)
    LocationUtrecht, NetherlandsShow on map

    Keywords

    • METIS-120890