访问量:   最后更新时间:--

林承达

教师姓名:林承达
教师拼音名称:linchengda
职称:副教授
学历:博士研究生毕业
电子邮箱:
毕业院校:武汉大学
所属院系:资源与环境学院
所在单位:资源与环境学院
其他联系方式

暂无内容

论文成果
8. Wei Hu; Lingjuan Wu*; Yu Tai; Jing Tan; Jiliang Zhang. A unified formal model for proving security and reliability properties[C]//2020 IEEE 29th Asian Test Symposium (ATS). IEEE, 2020: 1-6.
发布时间:2021-04-05    点击次数:

是否译文: