Embedded software system testing : automatic testing solution based on formal method

Saved in:
Bibliographic Details
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