期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于时态逻辑的抽象对象规约方法 被引量：1
1
作者 宋悦 郝克刚 葛玮 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第6期499-502,共4页
提出了一种基于时态逻辑的抽象对象语义描述方法，采用这种方法，可以在说明对象的同时对其行为加以时态限制，从而在语义层次上规约了并行对象系统的行为。在此方法上，还可以进一步对系统进行形式化的验证。
关键词 时态逻辑 形式化 谓词逻辑 抽象对象规约
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部