Lei Rao

发表

An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement

Shaoying Liu, Lei Rao, Han Peng, 2022, IEEE Access.

Modelling the Embedded Control System Using iUML-B Pattern State Machine

Lei Rao, Chenglie Du, Han Peng, 2018, J. Control. Sci. Eng..

A LTS Approach to Control in Event-B

Lei Rao, Chenglie Du, Han Peng, 2018, Sci. Program..

LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns

Lei Rao, Chenglie Du, Han Peng, 2019, J. Inf. Process. Syst..