TY  - GEN
AU  - Yin, Yongfeng,
AU  - Jiang, Bo,
AU  - Su, Qingran,
AU  - Qiu, Ruinan,
AU  - Guo, Yang
AU  - Song, Yi
AU  - Yin, Rui
CN  - TK7895.E42
ID  - 1481536
KW  - Embedded computer systems
KW  - Computer software
LA  - eng
LA  - In English, translated from the Chinese.
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=7272958
N1  - "English Version by permission of Beijing Huazhang Graphics & Information Co. Ltd. (China Machine Press)" --T.p. verso.
SN  - 9781003390923
SN  - 1003390927
T1  - Embedded software system testing :automatic testing solution based on formal method /
TI  - Embedded software system testing :automatic testing solution based on formal method /
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=7272958
ER  -