Using Model Checking to Generate Test Cases for Critical Systems: Testing for Safety

Critical

von Wei Ding

Taschenbuch

EAN=ISBN-13: 978-3-8433-5565-0

ISBN-10: 3-8433-5565-7

LAP LAMBERT Academic Publishing · 2010