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 条
  • [41] Using Codes with Summation of Weighted Bits to Organize Checking of Combinational Logical Devices
    Efanov, D. V.
    Sapozhnikov, V. V.
    Sapozhnikov, Vl. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2019, 53 (01) : 1 - 11
  • [42] Design and analysis of DNA strand displacement devices using probabilistic model checking
    Lakin, Matthew R.
    Parker, David
    Cardelli, Luca
    Kwiatkowska, Marta
    Phillips, Andrew
    JOURNAL OF THE ROYAL SOCIETY INTERFACE, 2012, 9 (72) : 1470 - 1485
  • [43] DESIGN OF COMPLETELY SELF-CHECKING COMBINATIONAL DEVICES USING RESIDUAL CODES
    SLABAKOV, EV
    AUTOMATION AND REMOTE CONTROL, 1979, 40 (10) : 1512 - 1519
  • [44] Planning construction operations using discrete event simulation
    Ramesh, K.V.S.S.N.S.
    Varghese, Koshy
    Sridharan, T.
    Journal of the Institution of Engineers (India): Civil Engineering Division, 2001, 82 (DECEMBER): : 150 - 156
  • [45] Optical tests for using smartphones inside medical devices
    Bernat, Amir S.
    Acobas, Jennifer K.
    Phang, Ye Sheng
    Hassan, David
    Bolton, Frank J.
    Levitz, David
    DESIGN AND QUALITY FOR BIOMEDICAL TECHNOLOGIES XI, 2018, 10486
  • [46] Submodule construction using the control of discrete event systems
    Khoumsi, A
    Drissi, J
    Proceedings of the Sixth IASTED International Conference on Control and Applications, 2004, : 82 - 87
  • [47] Abstraction and counterexample-guided construction of ω-automata for model checking of step-discrete linear hybrid models
    Segelken, Marc
    Computer Aided Verification, Proceedings, 2007, 4590 : 433 - 448
  • [48] Process Discovery and Conformance Checking in Modular Construction Using RFID and Process Mining
    Rashid, Khandakar M.
    Louis, Joseph
    CONSTRUCTION RESEARCH CONGRESS 2020: COMPUTER APPLICATIONS, 2020, : 640 - 648
  • [49] Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
    Wimmer, Ralf
    Braitling, Bettina
    Becker, Bernd
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 : 366 - 380
  • [50] Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking
    Byrnes, Alyssa
    Sturton, Cynthia
    2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2020,
12345