System verification proving the design solution satisfies the requirements / [electronic resource] :
Jeffrey O. Grady.
- Amsterday ; Boston : Elsevier/Academic Press, c2007.
- xxvii, 337 p. : ill.
Includes index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.