Mostra 1 - 3 risultati di 3 ricerca 'Wang, Ji', tempo di risposta: 0,16s Raffina i risultati
1
Symposium on Real-Time and Hybrid Systems
di Jones, Cliff, Wang, Ji, Zhan, Naijun
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
2
Dependable Software Engineering. Theories, Tools, and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Altri autori: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email