Using UML Models and Formal Verification in Model-Based Testing

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    9 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikation17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
    FörlagIEEE
    Sidor
    ISBN (tryckt)978-1-4244-6537-8
    StatusPublicerad - 2010
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangIEEE International Conference and Workshops on Engineering of Computer Based Systems - 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
    Varaktighet: 1 jan 2010 → …

    Konferens

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

    Citera det här