Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A Malik, Johan Lilius, Linas Laibinis

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Methods, Models and Tools for Fault Tolerance
Redaktörer	Michael Butler CJAR, E Troubitsyna
Förlag	Springer
Sidor	177–195
ISBN (elektroniskt)	978-3-642-00867-2
ISBN (tryckt)	978-3-642-00866-5
DOI	https://doi.org/10.1007/978-3-642-00867-2
Status	Publicerad - 2008
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Åtkomst av dokument

@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 -