Embedded software system testing : automatic testing solution based on formal method
Saved in:
| Main Author: | Yin, Yongfeng |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
CRC Press/Taylor & Francis Group
2024
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institutions: | Trung tâm Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh |
|---|
Similar Items
-
Embedded software and systems :
Published: (2005) - Embedded and networking systems
-
Formal Methods and Testing
by: Hierons, Robert M., et al.
Published: (2020) -
Embedded microcomputer systems
by: Jonathan W. Valvano
Published: (2007) -
Embedded microcomputer systems
by: Jonathan W. Valvano
Published: (2007)