Embedded software system testing :
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
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