Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A Malik, Johan Lilius, Linas Laibinis

    Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationMethods, Models and Tools for Fault Tolerance
    RedaktörerMichael Butler CJAR, E Troubitsyna
    FörlagSpringer
    Sidor177–195
    ISBN (elektroniskt)978-3-642-00867-2
    ISBN (tryckt)978-3-642-00866-5
    DOI
    StatusPublicerad - 2008
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Citera det här