Chuanjiang Yu

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Dongyuan Zhang, Chuanjiang Yu, ShiJun Xu, Xinyi Gao
Enhancement of Robustness for Graph Neural Networks in AI Systems. QRS Companion (2023)
Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li
Z User Studio: An Integrated Support Tool for Z Specifications. APSEC (2001)
Huaikou Miao, Chuanjiang Yu, Li Li
A Formalized Abstract Component Object Mode - Z-COM. TOOLS (36) (2000)