%0 Journal Article %1 journals/scp/MaoZSHL22 %A Mao, Xia %A Zhang, Yueling %A Shi, Jianqi %A Huang, Yanhong %A Li, Qin %D 2022 %J Sci. Comput. Program. %K dblp %P 102763 %T A refinement development approach for enhancing the safety of PLC programs with Event-B. %U http://dblp.uni-trier.de/db/journals/scp/scp215.html#MaoZSHL22 %V 215

@article{journals/scp/MaoZSHL22, added-at = {2022-03-15T00:00:00.000+0100}, author = {Mao, Xia and Zhang, Yueling and Shi, Jianqi and Huang, Yanhong and Li, Qin}, biburl = {https://www.bibsonomy.org/bibtex/22e005a36c890f5c45c00a70aa5f9c14d/dblp}, ee = {https://doi.org/10.1016/j.scico.2021.102763}, interhash = {ee5810633cbe01b67dc9c932883d5294}, intrahash = {2e005a36c890f5c45c00a70aa5f9c14d}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102763, timestamp = {2024-04-09T05:27:23.000+0200}, title = {A refinement development approach for enhancing the safety of PLC programs with Event-B.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp215.html#MaoZSHL22}, volume = 215, year = 2022 }