共 50 条
- [1] A RULE-BASED DESIGN-FOR-TESTABILITY RULE CHECKER IEEE DESIGN & TEST OF COMPUTERS, 1991, 8 (01): : 50 - 57
- [3] Implementing a Rule-Based Contract Compliance Checker SOFTWARE SERVICES FOR E-BUSINESS AND E-SOCIETY, 2009, 305 : 96 - 111
- [4] A Statistical and Rule-Based Spelling and Grammar Checker for Indonesian Text PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON DATA AND SOFTWARE ENGINEERING (ICODSE), 2017,
- [6] Design-for-testability of the FLOVA PROCEEDINGS OF THE SECOND IEEE ASIA PACIFIC CONFERENCE ON ASICS, 2000, : 319 - 322
- [7] Verification of a Rule-Based Expert System by Using SAL Model Checker 2019 3RD INTERNATIONAL CONFERENCE ON INFORMATICS AND COMPUTATIONAL SCIENCES (ICICOS 2019), 2019,
- [9] THE DESIGN OF A RULE-BASED CAI TUTORIAL INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1985, 23 (01): : 1 - 25