位置：成果数据库 > 期刊 > 期刊详情页
Approximate Completed Trace Equivalence of Inhomogeneous Linear Transition Systems
  • ISSN号：2005-8039
  • 期刊名称：International Journal of Advancements In Computing
  • 时间：0
  • 页码：58-66
  • 相关项目：微分半代数程序模型的等价及等价谱系
作者： Hao Yang|Jinzhao Wu|Zhiwei Zhang|
同期刊论文项目
微分半代数程序模型的等价及等价谱系
期刊论文 18 会议论文 19 著作 1
同项目期刊论文
Applying Wu’s Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking
A clustering Analysis Method Based on Population Migration Algorithm
多项式程序模型的互模拟等价
Formal Verification of Process Layer with Petri nets and Z
线性半代数变迁系统的近似互摸拟等价
Approximate Completed Trace Equivalence of Homogeneous Linear Algebraic Hybrid Systems
基于吴方法的不变式生成算法研究
Requirement Verification of Networked Software Goals with Multi-valued Logic
Approximate Bisimulation and Its Applications for Polynomial Algebraic System based on Symbolic and
自适应改进和声—单纯形进化算法研究
铁路改革必须重视相应产权关系的重构
虚拟机系统在计算机教学中的应用初探
一种基于路径的快速均值偏移算法