Using Model Checking to Generate Test Cases for Critical Systems

by Wei Ding

0 ratings • 0 reviews • 0 shelved
Book cover for Using Model Checking to Generate Test Cases for Critical Systems
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 3843355657
  • ISBN13 9783843355650
  • Publish Date 24 September 2010
  • Publish Status Active
  • Publish Country DE
  • Imprint LAP Lambert Academic Publishing
  • Format Paperback (US Trade)
  • Pages 88
  • Language English