Test Case Derivation from LOTOS Specifications

G.J. Tretmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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

    Tretmans, G. J. (1989). Test Case Derivation from LOTOS Specifications. In Forte 1989 (pp. -). Vancouver.
    Tretmans, G.J. / Test Case Derivation from LOTOS Specifications. Forte 1989. Vancouver, 1989. pp. -
    @inproceedings{f66cada39e354a9c9fc21c3fc1b66cab,
    title = "Test Case Derivation from LOTOS Specifications",
    keywords = "METIS-119509",
    author = "G.J. Tretmans",
    year = "1989",
    month = "12",
    day = "5",
    language = "Undefined",
    pages = "--",
    booktitle = "Forte 1989",

    }

    Tretmans, GJ 1989, Test Case Derivation from LOTOS Specifications. in Forte 1989. Vancouver, pp. -.

    Test Case Derivation from LOTOS Specifications. / Tretmans, G.J.

    Forte 1989. Vancouver, 1989. p. -.

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

    TY - GEN

    T1 - Test Case Derivation from LOTOS Specifications

    AU - Tretmans, G.J.

    PY - 1989/12/5

    Y1 - 1989/12/5

    KW - METIS-119509

    M3 - Conference contribution

    SP - -

    BT - Forte 1989

    CY - Vancouver

    ER -

    Tretmans GJ. Test Case Derivation from LOTOS Specifications. In Forte 1989. Vancouver. 1989. p. -