共 50 条
- [24] Modeling and Design of Tests for Discrete Devices Based on Artificial Intelligence Methods Automatic Control and Computer Sciences (English translation of Avtomatika i Vychislitel'naya Tekhnika), 1995, 29 (06):
- [25] Using model checking to generate tests from requirements specifications SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 146 - 162
- [26] Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 157 - +
- [28] Using the Entity-Attribute-Value Model for OLAP Cube Construction PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, 2011, 90 : 59 - +
- [29] Construction of m-cube mesh networks using Petri nets International Journal of System Assurance Engineering and Management, 2023, 14 : 256 - 262