Cited By
View all- Wang SDing ZYang RJiang C(2023)A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded BuffersIEEE Transactions on Cloud Computing10.1109/TCC.2023.331903811:4(3713-3724)Online publication date: Oct-2023
- Desgeorges LGermerie Guizouarn L(2023)RSC to the ReSCu: Automated Verification of Systems of Communicating AutomataCoordination Models and Languages10.1007/978-3-031-35361-1_7(135-143)Online publication date: 15-Jun-2023
- Dai FLiu GXu XMo QQiang ZLiang Z(2022)Compatibility checking for cyber‐physical systems based on microservicesSoftware: Practice and Experience10.1002/spe.313152:11(2393-2410)Online publication date: 31-Jul-2022
- Show More Cited By