Mostra 1 - 4 risultati di 4 ricerca 'Liu, Zhiming', tempo di risposta: 0,03s Raffina i risultati
1
Domain Modeling and the Duration Calculus
di George, Chris, Liu, Zhiming, Woodcock, Jim
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
2
Formal Methods and Hybrid Real-Time Systems
di Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
3
Engineering Trustworthy Software Systems
di Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
4
Theoretical Aspects of Computing - ICTAC 2007
di Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email