丁佐华
作品数: 35被引量:50H指数:4
  • 所属机构:浙江理工大学信息电子学院
  • 所在地区:浙江省 杭州市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

胡觉亮
作品数:100被引量:398H指数:10
供职机构:浙江理工大学理学院
研究主题:服装 服装生产流水线 服装供应链 闭环供应链 供应链
章靠
作品数:5被引量:1H指数:1
供职机构:浙江理工大学
研究主题:软件测试 并发程序 事件图 形式化方法 形式化
韩维
作品数:11被引量:0H指数:0
供职机构:浙江理工大学科学计算与软件工程实验室
研究主题:遗产系统 MARKOV模型 A/S WEB PIN
周远
作品数:7被引量:16H指数:3
供职机构:浙江理工大学
研究主题:频谱 形式化建模 PETRI网 高中数学课程 衔接问题
江明月
作品数:8被引量:2H指数:1
供职机构:浙江理工大学
研究主题:A/S PIN 安全协议 线性时序逻辑 PRO