Reachability Tree Method and Its Application to Fault Diagnosis for Digital Circuits
可达树分析法及其在测试中的应用
互联网摘选
Temporal Property Analysis of Discrete Event Systems Based on State Reachability Graph
基于状态可达图的离散事件系统时态性质分析
互联网摘选
虚拟软件研发组织合作伙伴选择与软件可达性研究
互联网摘选
Reachability testing algorithm for parallel program in heterogeneous network environment
异构网络环境下的并行程序可达性测试算法
互联网摘选
Reachability matrix of directed graph and calculation based on matrix calculation
基于布尔矩阵运算的有向图可达矩阵
互联网摘选
Namely the key is minimization of state space and reachability analysis.
这两方面的核心问题是状态空间的简化和状态可达性分析。
互联网摘选
The Reachability Analysis of Stochastic Petri Nets Model of Hybrid Dynamical System
混合动态系统SPN的可达性分析
互联网摘选
这种基于扩展同步序列的可达性方法与传统可达性方法相比，具有一定的优越性。
互联网摘选
Algorithm Design of Full Rank Petri Net Reachability Judge and Its Implementation
满秩Petri网可达性判定算法的设计与实现
互联网摘选
Modeling and Reachability Analysis for Single Intersection Based on Rectangular Hybrid Automata
基于矩形混杂自动机的交叉口建模及可达性分析
互联网摘选
A Improved Simple Algorithm to Compute Reachability Matrix with Adjacency Matrix
由邻接矩阵求解可达矩阵的一种改进简便算法
互联网摘选
The Reachability Analysis Verification for Communication Protocols and Its Automation
通信协议验证的可达性分析方法及其自动化
互联网摘选
Ripple-Effect Analysis of Software Architecture Evolution Based on Reachability Matrix
基于可达矩阵的软件体系结构演化波及效应分析
互联网摘选
Studies on the Reachability of Petri-net System Based on Energy Optimizing Model
基于能量优化方法的petri网系统的可达性研究
互联网摘选
