Computational modeling; Data models; Petri nets; Adaptation models; Embedded systems; Parallel processing;
机译:使用静态和动态切入点的程序Petri网模型的等效性检查
机译:使用静态和动态切割点的Petri网模型的等价检查
机译:使用机器学习的系统级和RTL描述之间的基于路径的等价检查方法
机译:基于Petri网程序模型的基于路径的等价性检验方法
机译:有界Petri网的符号模型检查的编码方案比较。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:结合符号和偏序方法进行模型检验1-安全Petri网
机译:结合符号和偏序方法进行模型检查1-安全petri网