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

Uloženo v:
Podrobná bibliografie
Hlavní autor:  Yin, Yongfeng
Médium: Kniha
Jazyk:Undetermined
Vydáno:  CRC Press/Taylor & Francis Group  2024
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
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