Model-based Testing Using Scenarios and Event-B Refinements

A3 Bokavsnitt, kapitel i forskningsböcker


Interna författare/redaktörer


Publikationens författare: Qaisar A Malik, Johan Lilius, Linas Laibinis
Redaktörer: Michael Butler CJAR, Troubitsyna E
Förläggare: Springer
Publiceringsår: 2008
Förläggare: Springer
Moderpublikationens namn: Methods, Models and Tools for Fault Tolerance
Seriens namn: Lecture Notes in Computer Science
Nummer i serien: 5454
Volym: 5454
Artikelns första sida, sidnummer: 177
Artikelns sista sida, sidnummer: 195
ISBN: 978-3-642-00866-5
eISBN: 978-3-642-00867-2

Senast uppdaterad 2019-14-12 vid 02:42