Treffer 1 - 3 von 3 für Suche 'Wang, Ji', Suchdauer: 0,03s Treffer weiter einschränken
1
Symposium on Real-Time and Hybrid Systems
von Jones, Cliff, Wang, Ji, Zhan, Naijun
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
2
Dependable Software Engineering. Theories, Tools, and Applications
von Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Weitere Verfasser: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden