您的位置: 专家智库 > >

万松松

作品数:5 被引量:21H指数:3
供职机构:江西师范大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国际科技合作与交流专项项目更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 8个自动化与计算...
  • 5个电子电信
  • 5个农业科学
  • 4个经济管理
  • 4个天文地球
  • 4个社会学
  • 4个文化科学
  • 4个兵器科学与技...
  • 3个哲学宗教
  • 3个生物学
  • 3个化学工程
  • 3个矿业工程
  • 3个石油与天然气...
  • 3个冶金工程
  • 3个金属学及工艺
  • 3个机械工程
  • 3个动力工程及工...
  • 3个电气工程
  • 3个建筑科学
  • 3个水利工程

主题

  • 8个循环不变式
  • 8个PAR方法
  • 7个形式化
  • 7个形式化方法
  • 7个形式化推导
  • 7个谓词
  • 7个可靠性
  • 7个规约
  • 7个PAR
  • 6个递推
  • 6个形式化验证
  • 6个搜索
  • 6个自动生成
  • 6个谓词抽象
  • 6个可重用
  • 5个递归
  • 5个递归算法
  • 5个信息系统
  • 5个形式化描述
  • 5个物流

机构

  • 8个江西师范大学
  • 8个中国科学院软...
  • 3个安徽工业大学
  • 3个安徽省农业科...
  • 3个安徽医科大学
  • 3个北方工业大学
  • 3个北方民族大学
  • 3个北海道大学
  • 3个北京跟踪与通...
  • 3个北京工商大学
  • 3个北京航空工程...
  • 3个北京矿产地质...
  • 3个北京市药品检...
  • 3个北京印刷学院
  • 3个北京应用物理...
  • 3个北京中医药大...
  • 3个滨州医学院
  • 3个昌吉学院
  • 3个长春理工大学
  • 3个长春师范学院

作者

  • 8个万松松
  • 8个薛锦云
  • 8个谢武平
  • 7个石海鹤
  • 7个王昌晶
  • 7个郑宇军
  • 5个揭安全
  • 5个游珍
  • 5个左正康
  • 3个丁亮
  • 3个丁岗
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个丁一阳
  • 2个丁东业

传媒

  • 7个计算机工程与...
  • 7个计算机工程
  • 7个计算机应用研...
  • 7个计算机与现代...
  • 6个计算机研究与...
  • 6个江西师范大学...
  • 6个计算机工程与...
  • 6个计算机工程与...
  • 6个计算机科学
  • 6个计算机技术与...
  • 3个分析化学
  • 3个化工科技
  • 3个工业安全与环...
  • 3个中华精神科杂...
  • 3个中国科技论坛
  • 3个中国临床药理...
  • 3个中国药物依赖...
  • 3个中国计划生育...
  • 3个植物学通报
  • 3个资源科学
8 条 记 录,以下是 1-8
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划(2003CCA02800)
相关领域:自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划
相关领域:天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60773054)
相关领域:自动化与计算机技术 电子电信 社会学 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目
相关领域:农业科学 医药卫生 自动化与计算机技术 天文地球 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60273092)
基于PAR方法的算法设计形式化和自动化研究
相关领域:自动化与计算机技术 文化科学 兵器科学与技术
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2008DFA11940)
相关领域:自动化与计算机技术 农业科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(69783006)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
共1页<1>
聚类工具0