蒲飞
【姓名】 蒲飞
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 同步合成,可回复性的保持性,并发语言,最小可回复路径,同步路径,系统间,行为关系,建模,有效性,无死锁性,自底向上,初始状态,活性保持性,柔性制造系统,网系统,步序列,复杂度,非对称选择网,合成操作,...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 3 3 21 404
中国期刊全文数据库    共找到3篇
[1]蒲飞;张文辉;.结合搜索空间划分和抽象进行LTL模型检测[J]中国科学(E辑:信息科学).2007,(12)
[2]蒲飞,陆维明.同步合成Petri网系统可回复性的保持性[J]系统工程理论与实践.2005,(10)
[3]蒲飞,陆维明.共享合成Petri网系统的活性保持性[J]系统工程理论与实践.2005,(11)
更多