UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
一种基于电子印迹的视频检测方法及系统 Patent
专利类型: 发明专利, 专利号: CN103324618A, 申请日期: 2012-03-20, 公开日期: 2013-09-25
Authors:  宣东;  郑元芳;  赵伟;  腾劲;  朱骏达;  张博颖;  李欣峰;  陈彪;  武建佳;  李伟
Favorite  |  View/Download:5/0  |  Submit date:2020/05/28
一种基于电子印迹的视频检测方法及系统 Patent
专利类型: 发明专利, 专利号: CN103324618B, 申请日期: 2012-03-20, 公开日期: 2013-09-25
Authors:  宣东;  郑元芳;  赵伟;  腾劲;  朱骏达;  张博颖;  李欣峰;  陈彪;  武建佳;  李伟
Favorite  |  View/Download:2/0  |  Submit date:2020/06/03
QRDChecker:一个 QRDC 模型检验工具 Journal article
软件学报, 2005,Volume: 16,Issue: 03,Page: 355-364
Authors:  裴玉;  徐启文;  李宣东;  郑国梁
Favorite  |  View/Download:25/0  |  Submit date:2019/05/03
模型检验  有限性性质  反应式系统  时段时序逻辑