Automated Testing in Practice: The Highway Tolling System

R.G. de Vries, Axel Belinfante, J. Feenstra

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

    99 Downloads (Pure)
    Original languageUndefined
    Title of host publicationProceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
    EditorsI. Schieferdecker, H. König, A. Wolisz
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    Pages219-234
    Number of pages16
    ISBN (Print)0-7923-7695-1
    Publication statusPublished - 2002
    EventIFIP 14th International Conference on Testing Communicating Systems XIV -
    Duration: 1 Jan 20021 Jan 2002

    Publication series

    NameIFIP Conference Proceedings
    PublisherKluwer Academic Publishers
    Volume210

    Conference

    ConferenceIFIP 14th International Conference on Testing Communicating Systems XIV
    Period1/01/021/01/02

    Keywords

    • FMT-TESTING
    • EWI-6525
    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

    Cite this