Using UML Models and Formal Verification in Model-Based Testing

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    8 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publication17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
    PublisherIEEE
    Pages
    ISBN (Print)978-1-4244-6537-8
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    EventIEEE International Conference and Workshops on Engineering of Computer Based Systems - 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceIEEE International Conference and Workshops on Engineering of Computer Based Systems
    Period01/01/10 → …

    Cite this