最新资讯
行业分类:智能装备地区:0联系人:宋振明
融资: 面议
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果,自主研发了高效的自动推理工具;借鉴目前世界上最先进的程序形式化技术,形成了C程...
具体了解该项目信息,请致电:027-87555799 邮箱 haizhi@uipplus.com