Travelled to:1 × China
Collaborated with:Y.Jiang H.Zhang H.Zhang H.Liu C.Sun X.Song M.Gu J.Sun
Talks about:synthesi (1) toolkit (1) tsmart (1) system (1) valid (1) multi (1) model (1) embed (1) clock (1) block (1)
Person: Xinyan Zhao
DBLP: Zhao:Xinyan
Contributed to:
2014Wrote 1 papers:
- FSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support #validation
- Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.