Mostrar 1 - 3 resultats de 3 per cerca 'Wang, Ji', hora de la petició: 0.03sec Refinar resultats
1
Symposium on Real-Time and Hybrid Systems
per Jones, Cliff, Wang, Ji, Zhan, Naijun
Publicat 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obtenir text complet
Afegir a favorits
Guardat en:
2
Dependable Software Engineering. Theories, Tools, and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obtenir text complet
Afegir a favorits
Guardat en:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Altres autors: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Afegir a favorits
Guardat en:
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca