主要研究程序自动生成和可信软件开发方法,主要研究方向为工控系统自动生成、测试与验证,需求工程。 群推网 http://www.phoenixfm.cn 推荐
群推网 http://www.phoenixfm.cn 推荐