Lai Ming

Formalize the Time-extended UML Statechart with Timed Automata

Lai Ming, 2003 .

Ship Structure Resistance to Underwater Contact Explosion with Multi Medium Coupling Calculation

Feng Shunshan, Lai Ming, Zhou Tong, 2012 .

Research and VLSI Implementation of a Dynamic Virtual Channel Structure with Congestion Awareness Scheme

Lai Ming, 2008 .

The Research of Protocol Conformance Testing Based on an Extension to TTCN-3 Synchronization

Lai Ming, 2011 .

The Design and Implementation of the Embedded Coprocessor Based on TTA

Lai Ming, 2008 .