Embedded software system testing : automatic testing solution based on formal method / Yongfeng Yin, Bo Jiang ; [translated by Qingran Su, Ruinan Qiu, Yang Guo, Yi Song, Rui Yin].
Yin, Yongfeng, 1978- author.; Jiang, Bo, 1981- author.; Su, Qingran, translator.; Qiu, Ruinan, translator.; Guo, Yang (Translator), translator.; Song, Yi (Translator), translator.; Yin, Rui (Translator), translator.; ProQuest (Firm)
2024
TK7895.E42
Available Online

Linked e-resources

Linked Resource Online Access

Details

Title Embedded software system testing : automatic testing solution based on formal method / Yongfeng Yin, Bo Jiang ; [translated by Qingran Su, Ruinan Qiu, Yang Guo, Yi Song, Rui Yin].
Author Yin, Yongfeng, 1978- author.
Uniform Title Qianrushi ruanjian xitong ceshi. English
ISBN 9781003390923
1003390927
9781032488189
9781032488196
Published Boca Raton : CRC Press, 2024.
Language English
Language Note In English, translated from the Chinese.
Description 1 online resource.
Call Number TK7895.E42
Dewey Decimal Classification 004.2/1
Note "English Version by permission of Beijing Huazhang Graphics & Information Co. Ltd. (China Machine Press)" --T.p. verso.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users
Reproduction Electronic reproduction. Ann Arbor, MI Available via World Wide Web.
Source of Description Description based on print version record and CIP data provided by publisher; resource not viewed.
Added Author Jiang, Bo, 1981- author.
Su, Qingran, translator.
Qiu, Ruinan, translator.
Guo, Yang (Translator), translator.
Song, Yi (Translator), translator.
Yin, Rui (Translator), translator.
Added Corporate Author ProQuest (Firm)
Available in Other Form Embedded software system testing
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Embedded system and software
Embedded software engineering and quality characteristics
Embedded software system testing techniques based on formal methods
Real-time embedded software automation test description technology
Testing technology of intelligent terminal application software system
Real-time embedded software system testing environment construction technology
Case study of real-time embedded software system testing.

Browse Subjects

Show more subjects...

Statistics

from
to
Export