Embedded software system testing automatic testing solution based on formal method

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.

Bibliographische Detailangaben

Hauptverfasser:	Yin, Yongfeng 1978- (VerfasserIn), Jiang, Bo 1981- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Boca Raton CRC Press 2023
Ausgabe:	1st.
Schlagworte:	Embedded computer systems > Testing Computer software > Testing Computer software ; Testing Embedded computer systems ; Testing
Online-Zugang:	lizenzpflichtig
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!