-
韩维
-
-
- 所属机构:浙江理工大学科学计算与软件工程实验室
- 研究方向:自动化与计算机技术
- 发文基金:浙江省自然科学基金
相关作者
- 丁佐华
- 作品数：36被引量：54H指数：4
- 供职机构：浙江理工大学
- 研究主题：软件测试 信息使用 频谱 测试用例 PETRI网
- 江明月
- 作品数：10被引量：2H指数：1
- 供职机构：浙江理工大学
- 研究主题：A/S PIN 安全协议 线性时序逻辑 PRO
- 刘忠山
- 作品数：6被引量：1H指数：1
- 供职机构：浙江理工大学
- 研究主题：WEB服务组合 遗产系统 性能分析 用例模型 模糊控制
- 谭娟
- 作品数：5被引量：1H指数：1
- 供职机构：浙江理工大学
- 研究主题：可达性 自动机 时钟 时间自动机 PETRI网
- 刘凤丽
- 作品数：7被引量：1H指数：1
- 供职机构：浙江理工大学信息电子学院
- 研究主题：PETRI网 A/S WEB服务组合 PIN 安全协议
