Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li 0002. A refinement development approach for enhancing the safety of PLC programs with Event-B. Science of Computer Programming, 215:102763, 2022. [doi]
@article{MaoZSHL22, title = {A refinement development approach for enhancing the safety of PLC programs with Event-B}, author = {Xia Mao and Yueling Zhang and Jianqi Shi and Yanhong Huang and Qin Li 0002}, year = {2022}, doi = {10.1016/j.scico.2021.102763}, url = {https://doi.org/10.1016/j.scico.2021.102763}, researchr = {https://researchr.org/publication/MaoZSHL22}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {215}, pages = {102763}, }