位置：成果数据库 > 期刊 > 期刊详情页
Axiomic system
  • 期刊名称：Theoretical Computer Science
  • 时间：0
  • 页码：1-15
  • 语言：英文
  • 相关项目：基于FPGA的高可信嵌入式系统的基础研究
作者： Zhenhua Duan|Maciej Koutny|Nan Zhang|
同期刊论文项目
基于FPGA的高可信嵌入式系统的基础研究
期刊论文 15 会议论文 9
同项目期刊论文
A Cylindrical Semantic Model for Many-core Parallel Computing
基于UML2.0模型的测试用例生成方法
基于命题投影时序逻辑的单调速率调度算法模型检测
有穷时间投影时序逻辑的完备公理系统
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
Expressiveness of Propositional Projection Temporal Logic with Star