Specification Based Formal Testing: The Easy Link Case Study

Axel Belinfante, J. Feenstra, A.W. Heerink, R.G. de Vries

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

    Original languageUndefined
    Title of host publicationProceedings of Progress 2001 2nd workshop on Embedded Systems
    Pages-
    Number of pages10
    Publication statusPublished - 2001
    Event2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands
    Duration: 18 Oct 200118 Oct 2001
    Conference number: 2

    Workshop

    Workshop2nd PROGRESS Workshop on Embedded Systems 2001
    Abbreviated titlePROGRESS
    CountryNetherlands
    CityVeldhoven
    Period18/10/0118/10/01

    Keywords

    • METIS-204156

    Cite this

    Belinfante, A., Feenstra, J., Heerink, A. W., & de Vries, R. G. (2001). Specification Based Formal Testing: The Easy Link Case Study. In Proceedings of Progress 2001 2nd workshop on Embedded Systems (pp. -)