共 50 条
- [41] A bounded incremental test generation algorithm for finite state machines [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 244 - +
- [42] A recursive algorithm for diagnosis in hierarchical finite-state machines [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2938 - 2943
- [43] A new algorithm for the reduction of incompletely specified finite state machines [J]. 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 482 - 489
- [45] CONTINUOUS STATE MODELS FOR FINITE STATE MACHINES [J]. INTERNATIONAL JOURNAL OF CONTROL, 1977, 25 (02) : 165 - 183
- [47] Two-criterion optimization in state assignment for synchronous finite state machines using NSGA-II [J]. Adaptive and Natural Computing Algorithms, 2005, : 214 - 217
- [49] Finite Virtual State Machines [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (10): : 2544 - 2547