You are here: Home › Books › Using Model Checking to Generate Test Cases for Critical Systems: Testing for Safety

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

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

ISBN: 3843355657

ISBN 13: 9783843355650

Author: Wei Ding

0.00 of 0

Click the button below to register a free account and download the file


Download PDF

Download ePub

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.