On Verification Modelling of Embedded Systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Chicago, USA
    Period26 Sep 2003
    Event titleTalk at Monterey Workshop on Software Engineering for Embedded Systems 2003
    Event typeConference
    LocationChicago, USA

    Keywords

    • METIS-216250