Embedded software system testing. automatic testing solution based on formal method, hardback/bo jiang

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.

Publisher: Taylor & Francis Ltd Author(s): Bo Jiang Illustration(s): 51 Tables, black and white; 72 Line drawings, black and white; 72 Illustrations, black and white Number of pages: 305 Publication date: 2023 Dimensions: 161 x 241 x 24 Cover type: Hardback.