最后更新时间:.. 访问量:
科研项目
当前位置: 中文主页 >> 科学研究 >> 科研项目
物联网服务的形式化描述与自动验证技术研究
发布时间:2018-06-04 点击次数:

所属单位:计算机科学与数学学院

负责人姓名:唐郑熠

项目状态:完成

项目分类:省科技厅

研究类别:应用研究

项目性质:PROJECTNATURE_ID938672

项目来源:省、自治区、直辖市科技项目

项目级别:国家或省部级工程技术研究中心项目

项目参与人员:唐郑熠,王颖,陈义,胡文瑜,王金水,薛醒思

项目编号:3236

立项时间:2016-03-01

计划完成时间:2019-02-01

结项日期:2019-03-30