Meng, X., Duan, X., Tao, W., Luan, Y., Zhang, J., & Wu, D. (2021, October 22). Modeling and verification of Industrial Microservice Architecture Based on Formal Methods. Chinese Automation Congress (Online), 3776-3780. https://doi.org/10.1109/CAC53003.2021.9727653
Citácia podle Chicago (17th ed.)Meng, Xiangxi, Xiangyu Duan, Wei Tao, Yan Luan, Juanjuan Zhang, a Donghan Wu. "Modeling and Verification of Industrial Microservice Architecture Based on Formal Methods." Chinese Automation Congress (Online) 22 Oct. 2021: 3776-3780. https://doi.org/10.1109/CAC53003.2021.9727653.
Citácia podľa MLA (8th ed.)Meng, Xiangxi, et al. "Modeling and Verification of Industrial Microservice Architecture Based on Formal Methods." Chinese Automation Congress (Online), 22 Oct. 2021, pp. 3776-3780, https://doi.org/10.1109/CAC53003.2021.9727653.