Modelling and verification on soft real-time systems

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Vught, the Netherlands
    Period27 Nov 2001
    Event titleIPA Herfstdagen 2001: Timed Systems
    Event typeConference
    LocationVught, Netherlands

    Keywords

    • METIS-204454