Treffer 1 - 4 von 4 für Suche 'Liu, Zhiming', Suchdauer: 0,03s Treffer weiter einschränken
1
Domain Modeling and the Duration Calculus
von George, Chris, Liu, Zhiming, Woodcock, Jim
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
Formal Methods and Hybrid Real-Time Systems
von Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
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
Engineering Trustworthy Software Systems
von Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
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:
4
Theoretical Aspects of Computing - ICTAC 2007
von Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
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:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden