Test Case Derivation from LOTOS Specifications

G.J. Tretmans

    Research output: Contribution to journal › Article › Professional

    Original languageUndefined
    Pages (from-to)-
    Number of pages15
    JournalMemoranda informatica
    Volume90
    Issue number21
    Publication statusPublished - 1990

    Keywords

    • METIS-121880
    • 1 Conference contribution

    • Test Case Derivation from LOTOS Specifications

      Tretmans, G. J., 5 Dec 1989, Formal Description Techniques, II: Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North Holland, p. 345-359 15 p.

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

    Cite this