共 50 条
- [41] A Novel Algorithm for the Conversion of Parallel Regular Expressions to Non-deterministic Finite Automata APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (01): : 95 - 105
- [42] Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation 2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 198 - 203
- [45] NON-DETERMINISTIC FREE VIBRATION ANALYSIS OF STRUCTURES WITH RANDOM AND FUZZY PARAMETERS PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2017, VOL 4B, 2018,
- [47] Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 96 - +
- [48] A Compiler Framework for Fixed-topology Non-deterministic Finite Automata on SIMD Platforms 2018 IEEE 24TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2018), 2018, : 507 - 516
- [49] Non-deterministic computations in ELAN RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 168 - 182
- [50] Non-deterministic inductive definitions ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (1-2): : 113 - 135