Testing Labelled Transition Systems with Inputs and Outputs

G.J. Tretmans

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

    Original languageUndefined
    Title of host publicationParticipants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session
    EditorsA. Cavalli, S. Budkowski
    Place of PublicationEvry, France
    PublisherInstitut National des Télécommunications
    Pages461-476
    Number of pages16
    ISBN (Print)not assigned
    Publication statusPublished - 1995
    EventParticipants Int. Workshop on Protocol Test Systems VIII --- COST 247 Session - Evry, France
    Duration: 4 Sep 19956 Sep 1995

    Workshop

    WorkshopParticipants Int. Workshop on Protocol Test Systems VIII --- COST 247 Session
    Period4/09/956/09/95
    Other4-6 Sept 1995

    Keywords

    • FMT-TESTING
    • EWI-6499

    Cite this