An Operational Semantics of an Event-Driven System-Level Simulator

Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin. An Operational Semantics of an Event-Driven System-Level Simulator. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 190-202, IEEE Computer Society, 2006. [doi]

Authors

Xiaoqing Peng

This author has not been identified. Look up 'Xiaoqing Peng' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google

Naiyong Jin

This author has not been identified. Look up 'Naiyong Jin' in Google