首页> 外文期刊>Automatic Control and Computer Sciences >A METHOD OF TESTING AUTOMATON NETWORKS BASED ON TESTABLE COMPONENT BEHAVIOR
【24h】

A METHOD OF TESTING AUTOMATON NETWORKS BASED ON TESTABLE COMPONENT BEHAVIOR

机译:基于可测试组件行为的自动机网络测试方法

获取原文
获取原文并翻译 | 示例
       

摘要

A method is presented for describing the testable behavior of a component in an automaton net by means of an undefined automaton. Check tests of this undefined automaton in the context of a reduction relation are closely related to check tests for a component of the automaton network.
机译:提出了一种用于通过未定义的自动机来描述自动机网络中组件的可测试行为的方法。在约简关系的上下文中,此未定义自动机的检查测试与自动机网络组件的检查测试密切相关。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号