Model checking at the requirements level: research abstract

D.N. Jansen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    166 Downloads (Pure)
    Original languageUndefined
    Title of host publicationProceedings Requirement Engineering '01, Doctoral Workshop
    Place of PublicationToronto, Canada
    Pages-
    Number of pages5
    Publication statusPublished - 2001
    EventProceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada -
    Duration: 1 Jan 20011 Jan 2001

    Other

    OtherProceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada
    Period1/01/011/01/01

    Keywords

    • METIS-204467
    • IR-37301

    Cite this