共 50 条
- [21] ReTest: Framework for Applying TDD in the Development of Non-deterministic Algorithms AGILE METHODS, WBMA 2016, 2017, 680 : 72 - 84
- [22] CONVERGENCE CONDITIONS FOR MONOTONE, AUTONOMOUS AND NON-DETERMINISTIC ITERATIVE ALGORITHMS RAIRO-ANALYSE NUMERIQUE-NUMERICAL ANALYSIS, 1977, 11 (01): : 61 - 74
- [23] Basic algorithms and tools for rough non-deterministic information analysis TRANSACTIONS ON ROUGH SETS I, 2004, 3100 : 209 - 231
- [24] Non-deterministic matrices 34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 282 - 287
- [25] Learning Abstracted Non-deterministic Finite State Machines TESTING SOFTWARE AND SYSTEMS, ICTSS 2020, 2020, 12543 : 52 - 69
- [26] Distinguing Non-deterministic Timed Finite State Machines FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 137 - +
- [28] A Logic for Non-deterministic Parallel Abstract State Machines FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 334 - 354
- [30] Non-deterministic processors INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129