CONSTRUCTION OF CHECKING TESTS FOR DISCRETE DEVICES USING CUBE COVERINGS

被引：0
|
作者：
SHARSHUNOV, SG
机构：
来源：
AUTOMATION AND REMOTE CONTROL | 1983年 / 44卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：651 / 662
页数：12
相关论文
共 50 条
  • [31] DOMINO PROBLEM IN CONSTRUCTING CHECK TESTS FOR DISCRETE DEVICES WITH REGULAR CONNECTIONS.
    Chapaev, G.G.
    Automatic Control and Computer Sciences, 1973, 7 (01) : 10 - 16
  • [32] Using an SMT Solver for Checking the Completeness of FSM-Based Tests
    Vinarskii, Evgenii
    Laputenko, Andrey
    Yevtushenko, Nina
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2020, 2020, 12543 : 289 - 295
  • [33] QUALITY CONTROL OF CEMENT MIXES USING CUBE FLOW AND ELECTRICAL RESISTANCE TESTS
    Logon, Dominik
    NON-TRADITIONAL CEMENT & CONCRETE IV, 2011, : 238 - 247
  • [34] Numerical Model Study of Prototype Drop Tests on Cube and Cubipod(R) Concrete Armor Units Using the Combined Finite-Discrete Element Method
    Scaravaglione, Giulio
    Latham, John-Paul
    Xiang, Jiansheng
    JOURNAL OF MARINE SCIENCE AND ENGINEERING, 2021, 9 (05)
  • [35] Safety compliance checking of construction behaviors using visual question answering
    Ding, Yuexiong
    Liu, Muyang
    Luo, Xiaowei
    AUTOMATION IN CONSTRUCTION, 2022, 144
  • [36] CONSTRUCTION OF MODULARIZED OPALS USING OPTOELECTRONIC DEVICES
    MIYAZAKI, D
    TANIDA, J
    ICHIOKA, Y
    JAPANESE JOURNAL OF APPLIED PHYSICS PART 2-LETTERS & EXPRESS LETTERS, 1990, 29 (08): : L1550 - L1552
  • [37] Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
    Gainer, Paul
    Linker, Sven
    Dixon, Clare
    Hustadt, Ullrich
    Fisher, Michael
    QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017), 2017, 10503 : 224 - 239
  • [38] Functional verification of discrete devices using logic programming
    Lyul'kin, A.E.
    Upravlyayushchie Sistemy i Mashiny, 2004, (02): : 38 - 46
  • [39] On Improving the Statistical Method Used to Access the Completeness of Tests for Software Systems and Discrete Devices
    Basok, B. M.
    Grechin, A. A.
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 33 - 36
  • [40] Using Codes with Summation of Weighted Bits to Organize Checking of Combinational Logical Devices
    D. V. Efanov
    V. V. Sapozhnikov
    Vl. V. Sapozhnikov
    Automatic Control and Computer Sciences, 2019, 53 : 1 - 11
12345