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

Salvato in:
Dettagli Bibliografici
Autore principale:  Yin, Yongfeng
Natura: Libro
Lingua:Undetermined
Pubblicazione:  CRC Press/Taylor & Francis Group  2024
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
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