位置：成果数据库 > 期刊 > 期刊详情页
Transformation from PLTL to Automata via NFGs
  • ISSN号：1382-6905
  • 期刊名称：Journal of Combinatorial Optimization
  • 时间：2013.3.3
  • 页码：1-12
  • 相关项目：基于APTL的开放系统模型检测
作者： Cong Tian|Zhenhua Duan|Mengfei Yang|
同期刊论文项目
基于APTL的开放系统模型检测
期刊论文 26 会议论文 28 专利 13
同项目期刊论文
A complete proof system for propositional projection temporal logic
Verifying a Carry Look-Ahead Adder with Propositional Projection Temporal Logic
Secure Communications with Strange Planet Protocol
ITL Semantics of Composite Petri Nets
进位保留加法器的命题投影时序逻辑组合验证
An Efficient Approach for Abstraction Refinement in Model Checking
性能非对称多核处理器上的自适应调度
A cylinder computation model for many-core parallel computing
PNP2MSVL：工作流网到MSVL的转换
真并发等价性下的流程模型转换方法
应用UML2.0模型的测试用例生成方法
基于命题投影时序逻辑的WISHBONE On-Chip Bus符号模型检测
基于命题投影时序逻辑的单调速率调度算法模型检测
有穷时间投影时序逻辑的完备公理系统
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
PN2MSVL：工作流网到MSVL的转换
WISHBONE片上总线符号模型检测