Using UML Models and Formal Verification in Model-Based Testing

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    9 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    Otsikko17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
    KustantajaIEEE
    Sivut
    ISBN (painettu)978-1-4244-6537-8
    TilaJulkaistu - 2010
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaIEEE International Conference and Workshops on Engineering of Computer Based Systems - 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
    Kesto: 1 tammikuuta 2010 → …

    Konferenssi

    KonferenssiIEEE International Conference and Workshops on Engineering of Computer Based Systems
    Ajanjakso01/01/10 → …

    Viittausmuodot