首页> 外文OA文献 >Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

【2h】

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

机译：有效的有限状态机器的有效等价检查技术

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Vladimir A. Zakharov;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Equivalence checking of quantum finite-state machines [J] . Qisheng Wang, Junyi Liu, Mingsheng Ying Journal of computer and system sciences . 2021,第Mara期

机译：量子有限状态机的等价检查
2. A generic framework for checking semantic equivalences between pushdown automata and finite-state automata [J] . Antonin Kucera, Richard Mayr Journal of computer and system sciences . 2018,第feba期

机译：检查下推自动机和有限状态自动机之间语义对等的通用框架
3. On the complexity of checking semantic equivalences between pushdown processes and finite-state processes [J] . Antonin Kucera, rnRichard Mayr Information and computation . 2010,第7期

机译：关于下推过程和有限状态过程之间的语义对等检查的复杂性
4. Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines [C] . Estivill-Castro Vladimir, Hexel Rene, Rosenblueth David A. Proceedings of the 2012 Third World Congress on Software Engineering. . 2012

机译：带有过渡标签的有限状态机的确定性调度的有效模型检查和FMEA分析
5. Efficient equivalence checking in a modular design environment. [D] . Hasteer, Gagan. 1998

机译：模块化设计环境中的有效等效检查。
6. EFFICIENTLY ESTABLISHING CONCEPTS OF INFERENTIAL STATISTICS AND HYPOTHESIS DECISION MAKING THROUGH CONTEXTUALLY CONTROLLED EQUIVALENCE CLASSES [O] . Daniel M Fienup, Thomas S Critchfield 2010

机译：通过上下文控制的等效类有效建立推论统计和假设决策的概念
7. Equivalence checking of quantum finite-state machines [O] . Qisheng Wang, Junyi Liu, Mingsheng Ying 2021

机译：量子有限状态机的等价检查
8. Program Analysis Techniques for Efficient Software Model Checking. [R] . Boyapati, C., Sakallah, K. 2011

机译：高效软件模型检测的程序分析技术。

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

著录项

引文网络

相似文献

相关主题

期刊订阅