Résultat(s) 1 - 3 résultats de 3 pour la requête 'Wang, Ji', Temps de recherche: 0,03s Affiner les résultats
1
Symposium on Real-Time and Hybrid Systems
par Jones, Cliff, Wang, Ji, Zhan, Naijun
Publié 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
2
Dependable Software Engineering. Theories, Tools, and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Autres auteurs: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel