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