傅育熙
作品数: 37被引量:104H指数:6
  • 所属机构:上海交通大学电子信息与电气工程学院软件学院
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

顾永跟
作品数:77被引量:174H指数:6
供职机构:湖州师范学院信息与工程学院
研究主题:安全协议 云计算 激励机制 区块链 指纹匹配
董笑菊
作品数:22被引量:26H指数:3
供职机构:上海交通大学
研究主题:互模拟 进程代数 P系统 可视化 网络异常
钟发荣
作品数:43被引量:30H指数:3
供职机构:浙江师范大学数理与信息工程学院
研究主题:网络可靠度 可靠性分析 进程代数 BDD 网络
李国强
作品数:38被引量:64H指数:4
供职机构:上海交通大学
研究主题:形式化研究 PETRI网 形式化验证 SPI演算 非交互式
陈伟杰
作品数:2被引量:8H指数:2
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:CORBA 面向对象 Π演算 进程代数 请求