Model checking at the requirements level: research abstract

D.N. Jansen

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

    135 Downloads (Pure)
    Original languageUndefined
    Title of host publicationProceedings Requirement Engineering '01, Doctoral Workshop
    Place of PublicationToronto, Canada
    Pages-
    Number of pages5
    Publication statusPublished - 2001

    Keywords

    • METIS-204467
    • IR-37301

    Cite this