位置：成果数据库 > 期刊 > 期刊详情页
稠密时间区间时序逻辑的可满足性
  • 期刊名称：西安电子科技大学学报，已录用
  • 时间：0
  • 相关项目：混合系统的形式验证
作者： 张海宾*，段振华
同期刊论文项目
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
同项目期刊论文
多速率混合系统的模型检查
混和投影时序逻辑与混和系统的形
Web服务提供方安全模型的设计、
基于工作流模式的OWL-S过程模型
A framed temporal logic progra
基于代数的模糊Petri网逆向推理算法
一种基于扩展有限自动机验证组合Web服务的方法
量子遗传算法在Web服务选择中的应用
基于P2P环境的语义Web服务发现模型
基于语义的Web服务匹配研究