HaaST: Verification of soft and hard timed systems

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited
    Period13 Oct 2000
    Held at1st PROGRESS Workshop on Embedded Systems 2000
    Event typeWorkshop
    Conference number1
    LocationUtrecht, Netherlands

    Keywords

    • METIS-120890