Refusal Testing for Classes of Transition Systems with Inputs and Outputs

T. Mizuno (Editor), A.W. Heerink, G.J. Tretmans, N. Shiratori (Editor), T. Higashino (Editor), A. Togashi (Editor)

    Research output: Contribution to conferencePaperAcademicpeer-review

    6 Citations (Scopus)
    8 Downloads (Pure)
    Original languageUndefined
    Pages23-38
    Number of pages16
    Publication statusPublished - 1997
    Event17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997 - Osaka, Japan
    Duration: 1 Jan 19971 Jan 1997
    Conference number: 17

    Conference

    Conference17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997
    Abbreviated titlePSTV 1997
    CountryJapan
    CityOsaka
    Period1/01/971/01/97

    Keywords

    • FMT-TESTING
    • IR-63298
    • EWI-6479

    Cite this