Go to main content

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
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

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