Coverage Metrics for Model Checking

Hana Chockler author

Format:Paperback

Publisher:LAP Lambert Academic Publishing

Published:29th Jul '11

Currently unavailable, and unfortunately no date known when it will be back

Coverage Metrics for Model Checking cover

This paperback, "Coverage Metrics for Model Checking" from Hana Chockler, was published 29th July 2011 by LAP Lambert Academic Publishing.

ISBN: 9783845421988

Dimensions: 229mm x 152mm x 9mm

Weight: 222g

144 pages