Model checking at the requirements level: research abstract

D.N. Jansen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Toronto, Canada
    Period2001
    Event title5th IEEE International Symposium on Requirements Engineering, RE 2001
    Event typeConference
    Conference number5
    LocationToronto, Canada

    Keywords

    • METIS-204477