- 物联网服务的形式化描述与自动验证技术研究
- 点击次数：
- 发布时间： 2018-06-04
- 所属单位：计算机科学与数学学院
- 负责人姓名：唐郑熠
- 项目状态：完成
- 项目分类：省科技厅
- 研究类别：应用研究
- 项目性质：PROJECTNATURE_ID938672
- 项目来源：省、自治区、直辖市科技项目
- 项目级别：国家或省部级工程技术研究中心项目
- 项目参与人员：唐郑熠,王颖,胡文瑜,洪茂雄,王金水,薛醒思
- 项目编号：3236
- 立项时间：2016-03-01
- 计划完成时间：2019-02-01
- 结项日期：2019-03-30
