Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Du Yanhua, Ai Lifeng, Liu Chunhuang. Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets. In Xiaohua Hu, Qing Liu, Andrzej Skowron, Tsau Young Lin, Ronald R. Yager, Bo Zhang, editors, 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005. pages 427-430, IEEE, 2005. [doi]

This author has not been identified. Look up 'Du Yanhua' in GoogleThis author has not been identified. Look up 'Ai Lifeng' in GoogleThis author has not been identified. Look up 'Liu Chunhuang' in Google

runs on WebDSL