Test Case Derivation from LOTOS Specifications

G.J. Tretmans

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationForte 1989
    Place of PublicationVancouver
    Pages-
    Number of pages15
    Publication statusPublished - 5 Dec 1989

    Keywords

    • METIS-119509

    Cite this