TY  - GEN
AU  - Yin, Yongfeng
AU  - Jiang, Bo.,
TI  - Embedded software system testing: automatic testing solution based on formal method
SN  - 9781032488189
U1  - 004.21 23rd ed
PY  - 2024///
CY  - Boca Raton
PB  - CRC press
KW  - Embedded computer system
KW  - Computer software
KW  - Testing
N1  - Includes bibliographical references and index
ER  -