From Nondeterministic UML Protocol Statemachines to Class Contracts

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    7 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoSoftware Testing, Verification and Validation (ICST), 2010 Third International Conference on
    ToimittajatM Gaudel, AR Cavalli, S Ghosh
    KustantajaIEEE computer society press
    Sivut107–116
    ISBN (painettu)978-0-7695-3990-4/
    DOI - pysyväislinkit
    TilaJulkaistu - 2010
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Software Testing, Verification and Validation (ICST) - Third International Conference on Software Testing, Verification and Validation (ICST), 2010
    Kesto: 7 huhtikuuta 20109 huhtikuuta 2010

    Konferenssi

    KonferenssiInternational Conference on Software Testing, Verification and Validation (ICST)
    Ajanjakso07/04/1009/04/10

    Viittausmuodot