Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A. Malik, Johan Lilius, Linas Laibinis

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoWorkshop on Methods, Models and Tools for Fault Tolerance, Proceedings
    ToimittajatM Butler, C Jones, A Romanovsky, E Troubitsyna
    Sivut59–69
    TilaJulkaistu - 2007
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2007-07-02; 2007-07-05 - 6th International Conference on Integrated Formal Methods, IFM 2007
    Kesto: 2 heinäkuuta 20075 heinäkuuta 2007

    Konferenssi

    Konferenssiconference; 2007-07-02; 2007-07-05
    Ajanjakso02/07/0705/07/07

    Viittausmuodot