Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Minimizing Characterizing sets;Science of Computer Programming;2021-08
2. Minimizing Characterizing Sets;Formal Aspects of Component Software;2020
3. Detectability;Communications and Control Engineering;2019-10-02
4. Verification of State Isolation Properties;Communications and Control Engineering;2019-10-02
5. Automatic Test Pattern Generation;Electronic Design Automation for IC System Design, Verification, and Testing;2016-04-14