Hardin, David S <br/><br/>
Design and Verification of Microprocessor Systems for High-Assurance Applications 
David S. Hardin 
 - New York  Springer Verlag, Netherlands  2010 
 - 436p. 
<br/><br/><label>ISBN: </label>9781441915382 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programmable controllers -- Testing<br/>Programmable controllers -- Design and construction
<br/><br/><label>Dewey Class. No.: </label>629.895416 HAR