温馨提示:为保障健康的学术网络环境,关注该学者前,请先完成实名认证。
讲师
动态 news
学术 academic
圈子 links
新型程序设计与形式化方法 , 嵌入式系统设计
研究兴趣
contact me