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

Spremljeno u:
Bibliografski detalji
Glavni autor:  Yin, Yongfeng
Format: Knjiga
Jezik:Undetermined
Izdano:  CRC Press/Taylor & Francis Group  2024
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Trung tâm Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh