Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A Malik, Johan Lilius, Linas Laibinis

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Methods, Models and Tools for Fault Tolerance
Toimittajat	Michael Butler CJAR, E Troubitsyna
Kustantaja	Springer
Sivut	177–195
ISBN (elektroninen)	978-3-642-00867-2
ISBN (painettu)	978-3-642-00866-5
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-00867-2
Tila	Julkaistu - 2008
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Pääsy asiakirjaan

@inbook{c5d512177b104b22ab1c3d98c8ec5b36,

title = "Model-based Testing Using Scenarios and Event-B Refinements",

author = "{A Malik}, Qaisar and Johan Lilius and Linas Laibinis",

year = "2008",

doi = "10.1007/978-3-642-00867-2",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-00866-5",

pages = "177–195",

editor = "{Butler CJAR}, Michael and E Troubitsyna",

booktitle = "Methods, Models and Tools for Fault Tolerance",

publisher = "Springer",

}

TY - CHAP

T1 - Model-based Testing Using Scenarios and Event-B Refinements

AU - A Malik, Qaisar

AU - Lilius, Johan

AU - Laibinis, Linas

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-642-00867-2

DO - 10.1007/978-3-642-00867-2

M3 - Kapitel

SN - 978-3-642-00866-5

SP - 177

EP - 195

BT - Methods, Models and Tools for Fault Tolerance

A2 - Butler CJAR, Michael

A2 - Troubitsyna, E

PB - Springer

ER -