[Shanghai, China, September 21, 2023] At HUAWEI CONNECT 2023 held in Shanghai on September 21, Huawei Cloud unveiled Huawei Cloud Stack 8.3. This brand-new version provides over 100 cloud services in ...

This paper presents a meta-model transformation based approach to reasoning about sequence diagrams using B event. We present an approach for the specification and the verification of flexible ...