Model checking, a potential push-button technology for efficency and dependability analysis

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Philips Research Lab, Eindhoven
    Period26 Mar 2001
    Event titleTalk Informatics Colloquium
    Event typeConference
    LocationPhilips Research Lab, Eindhoven

    Keywords

    • METIS-203951