当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录5条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 面向对象的时序逻辑语言 王小兵;段振华; 电子科技大学学报 2009 0 48
2 动态Web服务组合的选择策略 门鹏;段振华; 光子学报 2009 0 99
3 语义标记Petri网的组合Web服务建模与验证(英文) 雷丽晖;段振华; 计算机科学与探索 2009 0 37
4 面向投影时序逻辑的Web服务模型检测 王小兵;段振华; 西安交通大学学报 2009 0 16
5 区间时序逻辑的模型检查 张海宾;段振华; 西安电子科技大学学报 2009 0 33