袁红
【姓名】 袁红
【职称】
【研究领域】 计算机软件及计算机应用;投资;证券;
【研究方向】
【发表文献关键词】 形式化方法,LOTOS,进程代数,事件结构,语义模型,系统模型,系统设计,软件工具,复杂系统,结构层次,模型检测,自动生成,语言层次,理论研究,矛盾关系,系统描述,辅助工具,并发系统,集合,动作,
【工作单位】 四川师范大学
【曾工作单位】 四川师范大学;
【所在地域】 四川成都
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 0 0 3 7 755
中国期刊全文数据库    共找到2篇
[1]袁红;.数据挖掘模型在股市预测中的应用综述[J]中国集体经济.2017,(33)
[2]袁红;.LOTOS事件结构语义模型的实现[J]福建电脑.2006,(09)
更多