Yin, Yongfeng <br/><br/>
Embedded software system testing:  automatic testing solution based on formal method/ 
Yongfeng Yin and Bo Jiang 
 - Boca Raton :  CRC press  c2024 
 - xxiv, 305 p.;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781032488189  £ 77.99 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer system<br/>Computer software--Testing
<br/><br/><label>Dewey Class. No.: </label>004.21  / Y 58