Modeling and Verifying AUPS Using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen. Modeling and Verifying AUPS Using CSP. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 568-573, KSI Research Inc., 2022. [doi]

This author has not been identified. Look up 'Hongqin Zhang' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Jiaqi Yin' in GoogleThis author has not been identified. Look up 'Ningning Chen' in Google

runs on WebDSL