Gong-Zhi Luo

Learn More
In this paper, we consider the problem on conformance testing of communication protocols which are modeled by labeled transition systems. The conformance requirements of speciications are represented as the trace equivalence relation and derived test suites have nite behavior and provide well-deened fault coverage. For this problem, we rst give a testing(More)
In this paper, we introduce a new rough set approach, which is called the limited dominance-based rough set model into the incomplete decision system. The limited dominance relation is different from the traditional dominance relation in the incomplete environment because we are on the assumption that the unknown value can only be compared with the maximal(More)
  • 1