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