Skip to main content

3 Result(s)

within Zhongwei Xu Remove this filter Data Mining and Knowledge Discovery Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Port-Based Composable Modeling and Simulation for Safety Critical System Testbed

    While there has been much attention paid to the applications of Modeling and Simulation (M&S) for safety critical system testbed lately, little has been done to address related technology areas that enable M&S...

    Yujun Zhu, Zhongwei Xu, Meng Mei in Web Information Systems and Mining (2012)

  2. No Access

    Chapter and Conference Paper

    A Formal Method for Testing Reactive System from Symbolic Model

    Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test...

    Yongbing Wan, Zhongwei Xu, Meng Mei in Artificial Intelligence and Computational … (2012)

  3. No Access

    Chapter and Conference Paper

    A Method for Evaluating Health Status of Rail Transit Signaling Equipment Based on Group Decision

    Aiming at the service lifetime and health status of signaling equipment that rail transit operators are concerned about, this paper proposes a method for evaluating the health status of signaling equipment bas...

    Yijun Chen, Zhongwei Xu, Jianjun Yuan… in Advances in Decision Science and Management (2022)