Yongfeng Yin; Bo Jiang <br/><br/>
Embedded Software System Testing  Automatic Testing Solution Based on Formal Method 

 -  Taylor and Francis  2023 
<br/><br/><label>ISBN: </label>9781003390923 
<br/><br/><label>Source: </label>EBOOK