Toon 1 - 4 resultaten van 4 Voor zoekopdracht 'Liu, Zhiming', zoektijd: 0,07s Verfijn jouw resultaten
1
Domain Modeling and the Duration Calculus
door George, Chris, Liu, Zhiming, Woodcock, Jim
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
2
Formal Methods and Hybrid Real-Time Systems
door Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
3
Engineering Trustworthy Software Systems
door Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
4
Theoretical Aspects of Computing - ICTAC 2007
door Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen