Yin, Yongfeng
Embedded software system testing : automatic testing solution based on formal method /
Yongfeng Yin and Bo Jiang
- First edition
- Boca Raton, Florida CRC Press 2024
- xxiii, 305 pages : illustrations ; 24cm.
Includes bibliographical references.
978-1-032-48818-9
Embedded computer systems--testing.
Computer software--testing.
TK 7895 / .Y56 2024