韩维
作品数： 11被引量：0H指数：0
  • 所属机构:浙江理工大学科学计算与软件工程实验室
  • 研究方向:自动化与计算机技术
  • 发文基金:浙江省自然科学基金

相关作者

丁佐华
作品数：35被引量：50H指数：4
供职机构：浙江理工大学信息电子学院
研究主题：软件测试 信息使用 频谱 测试用例 PETRI网
江明月
作品数：8被引量：2H指数：1
供职机构：浙江理工大学
研究主题：A/S PIN 安全协议 线性时序逻辑 PRO
刘忠山
作品数：6被引量：1H指数：1
供职机构：浙江理工大学
研究主题：WEB服务组合 遗产系统 性能分析 用例模型 模糊控制
谭娟
作品数：5被引量：1H指数：1
供职机构：浙江理工大学
研究主题：可达性 自动机 时钟 时间自动机 PETRI网
刘凤丽
作品数：7被引量：1H指数：1
供职机构：浙江理工大学信息电子学院
研究主题：PETRI网 A/S WEB服务组合 PIN 安全协议
作品列表