Verification and Optimization of a PLC Control Schedule

Brinksma, H. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Stanford, CA, USA
    Period30 Aug 2000
    Event titlePresentation at the SPIN 2000 Workshop: null
    Event typeConference
    LocationStanford, CA, USA

    Keywords

    • METIS-120921