From Nondeterministic UML Protocol Statemachines to Class Contracts

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    7 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationSoftware Testing, Verification and Validation (ICST), 2010 Third International Conference on
    RedaktörerM Gaudel, AR Cavalli, S Ghosh
    FörlagIEEE computer society press
    Sidor107–116
    ISBN (tryckt)978-0-7695-3990-4/
    DOI
    StatusPublicerad - 2010
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Conference on Software Testing, Verification and Validation (ICST) - Third International Conference on Software Testing, Verification and Validation (ICST), 2010
    Varaktighet: 7 apr 20109 apr 2010

    Konferens

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

    Citera det här