TY  - BOOK
AU  - Yin, Yongfeng 
TI  - Embedded software system testing: automatic testing solution based on formal method 
SN  - 978-1-032-48818-9
AV  - TK 7895 .Y56 2024
PY  - 2024///
CY  - Boca Raton, Florida
PB  - CRC Press
KW  - Embedded computer systems--testing.
KW  - Computer software--testing
N1  - Includes bibliographical references
ER  -