Lei Rao, Shaoying Liu, Han Peng. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement. IEEE Access, 10:13089-13102, 2022. [doi]
@article{RaoLP22, title = {An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement}, author = {Lei Rao and Shaoying Liu and Han Peng}, year = {2022}, doi = {10.1109/ACCESS.2022.3146390}, url = {https://doi.org/10.1109/ACCESS.2022.3146390}, researchr = {https://researchr.org/publication/RaoLP22}, cites = {0}, citedby = {0}, journal = {IEEE Access}, volume = {10}, pages = {13089-13102}, }