Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Book
Embedded software system testing : automatic testing solution based on formal method
Loading...
Authors:
Yin, Yongfeng
---
Jiang, Bo
ISBN: 1003390927 1003390927 1000876977 Year: 2024 Publisher: Boca Raton, FL : CRC Press,
ISBN: 1003390927 1003390927 1000876977 Year: 2024 Publisher: Boca Raton, FL : CRC Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
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.
Keywords
Embedded computer systems --- Computer software --- Testing.
| Listing 1 - 1 of 1 |
Sort by
|