位置：成果数据库 > 期刊 > 期刊详情页
ITL Semantics of Composite Petri Nets
  • ISSN号：1567-8326
  • 期刊名称：Journal of Logic and Algebraic Programming
  • 时间：2012.1.1
  • 页码：95-110
  • 相关项目：基于APTL的开放系统模型检测
作者： Zhenhua Duan|Maciej Koutny|Hanna Klaudel|
同期刊论文项目
基于APTL的开放系统模型检测
期刊论文 26 会议论文 28 专利 13
同项目期刊论文
Transformation from PLTL to Automata via NFGs
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
进位保留加法器的命题投影时序逻辑组合验证
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片上总线符号模型检测