arrow
Back
H

Han Liu

digital horizon technology co., ltd.

7H-index
22Paper Count
232Citation Count
Published Papers 5
Publication Date
errShare
errSave
MVDLite: A fast validation algorithm for Model View Definition rules
err2023-10-01
err1
errOAAI
errLiu, Han; Gao, Ge; Zhang, Hehua; Liu, Yu-Shen; Song, Yan; Gu, Ming
errShare
errSave
Modeling and validating temporal rules with semantic Petri net for digital twins
err2023-08-01
err2
errOAAI
errLiu, Han; Song, Xiaoyu; Gao, Ge; Zhang, Hehua; Liu, Yu-Shen; Gu, Ming
errShare
errSave
errShare
errSave
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks
err2015-08-01
err36
PREAI
errJiang, Yu; Zhang, Hehua; Zhang, Huafeng; Liu, Han; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang
errShare
errSave