Wangyang Yu, Lu Liu, Yisheng An, Xiaojun Zhai. Analyzing the Validation Flaws of Online Shopping Systems Based on Coloured Petri Nets. In 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019. pages 1706-1710, IEEE, 2019. [doi]
Abstract is missing.