Introducing clocks-events to csp for modeling real-time systems with multi-clock
Zhucheng Shao, Juanjuan Geng
Published in 2013 IEEE Third International Conference on Information Science and Technology (ICIST) (01.03.2013)
Published in 2013 IEEE Third International Conference on Information Science and Technology (ICIST) (01.03.2013)
Get full text
Conference Proceeding
Spatio-temporal Properties Analysis for Cyber-physical Systems
Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
Published in 2013 18th International Conference on Engineering of Complex Computer Systems (01.07.2013)
Published in 2013 18th International Conference on Engineering of Complex Computer Systems (01.07.2013)
Get full text
Conference Proceeding
Will social media celebrities drive me crazy? Exploring the effects of celebrity endorsement on impulsive buying behavior in social commerce
Shao, Zhucheng, Ho, Jessica Sze Yin, Tan, Garry Wei‐Han, Ooi, Keng‐Boon, Dennis, Charles
Published in International journal of consumer studies (01.05.2024)
Published in International journal of consumer studies (01.05.2024)
Get full text
Journal Article
Unified Modeling of Active and Reactive Components for Real-Time Systems
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)
Get full text
Conference Proceeding