您现在的位置: 首页> 研究主题> 形式化模型

形式化模型

形式化模型的相关文献在1989年到2022年内共计148篇,主要集中在自动化技术、计算机技术、铁路运输、测绘学 等领域,其中期刊论文114篇、会议论文22篇、专利文献705829篇;相关期刊67种,包括信息系统工程、管理观察、中国学术期刊文摘等; 相关会议19种,包括2013年全国理论计算机科学学术年会、第十四届全国Petri 网理论与应用学术年会、2012年第三届中国计算机学会服务计算学术会议等;形式化模型的相关文献由398位作者贡献,包括黄俊、韩玲莉、马恒太等。

形式化模型—发文量

期刊论文>

论文:114 占比:0.02%

会议论文>

论文:22 占比:0.00%

专利文献>

论文:705829 占比:99.98%

总计:705965篇

形式化模型—发文趋势图

形式化模型

-研究学者

  • 黄俊
  • 韩玲莉
  • 马恒太
  • 关永
  • 唐郑熠
  • 孙士勇
  • 宋文
  • 张大年
  • 张政童
  • 张楠
  • 期刊论文
  • 会议论文
  • 专利文献

搜索

排序:

年份

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号