共 50 条
- [1] Rule-based runtime verification [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 44 - 57
- [3] Rule-based runtime verification revisited [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 143 - 170
- [6] A synthesis of fuzzy rule-based system verification [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 985 - 990
- [8] Knowledge verification of active rule-based systems [J]. INTELLIGENT CONTROL AND AUTOMATION, 2006, 344 : 676 - 687
- [10] Rule-Based Verification Method of Requirements Ontology [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05): : 1017 - 1027