From Nondeterministic UML Protocol Statemachines to Class Contracts

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

    7 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationSoftware Testing, Verification and Validation (ICST), 2010 Third International Conference on
    EditorsM Gaudel, AR Cavalli, S Ghosh
    PublisherIEEE computer society press
    Pages107–116
    ISBN (Print)978-0-7695-3990-4/
    DOIs
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Software Testing, Verification and Validation (ICST) - Third International Conference on Software Testing, Verification and Validation (ICST), 2010
    Duration: 7 Apr 20109 Apr 2010

    Conference

    ConferenceInternational Conference on Software Testing, Verification and Validation (ICST)
    Period07/04/1009/04/10

    Cite this