Xu Zhong-wei

发表

General Safety Test Method of Safety-critical Software

Xu Zhong-wei, 2010 .

Method for Generating Formal System Model Based on Scenarios Analysis

Xu Zhong-wei, 2012 .

Research on Automatic Safety Tests of Train Control System for Dedicated Passenger Line Based on Script Technique

Xu Zhong-wei, 2011 .

Anti-jamming design of electric motorintelligent protection device

Xu Zhong-wei, 2004 .

A primary study of Web based searching & matching a lgorithm combined with synonym

Xu Zhong-wei, 2003 .

Safety interface scheme for component-based safety critical software

Xu Zhong-wei, 2008 .

CCLP algorithm for improving current PEGASIS protocol

Xu Zhong-wei, 2008 .

Analysis of Application of Asphalt Anti-stripping Agent in the Highway Engineering

Xu Zhong-wei, 2007 .

Improvement on μC/OS-II Real-time System Task Scheduling

Xu Zhong-wei, Xu Liang, 2007 .

Parallelized EDPF real-time optimization scheduling algorithm for multiprocessors

Xu Zhong-wei, 2007 .

Research of Model for Interlocking Logic Simulation Based on Queue Models

Xu Zhong-wei, 2008 .

A Logic Semantics Analysis Algorithm for Railway Station Layouts

Xu Zhong-wei, 2005 .

Modeling and verification of interlocking logic based on temporal Petri nets

Xu Zhong-wei, 2007 .

Design and Implementation of a BEPT Simulation System

Xu Zhong-wei, 2008 .

An algorithm based on data aggregation in wireless sensor network

Xu Zhong-wei, 2008 .

Wireless sensor network node design based on LPC2103

Xu Zhong-wei, 2007 .

Safety Analysis of Safety-critical Software Based on UML Sequence Diagrams

Xu Zhong-wei, 2008 .

Design of general simulation test platform for embedded system software

Xu Zhong-wei, 2007 .

Research into safety component model framework of safety requirement-oriented

Xu Zhong-wei, 2008 .