Embedded Software System Testing Automatic Testing Solution Based on Formal Method
SKU
SHUB311248
Free Shipping within the US
Est. Date: Jan 5, 2026
This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.
- Author(s): Yongfeng Yin, Bo Jiang
- Publisher: CRC Press/Taylor & Francis Group
- Language: en
- Pages: 305
- Binding: Hardcover
- Published: 2023-06
- Estimated Delivery: Jan 5, 2026