External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A refinement development approach for enhancing the safety of PLC programs with Event-B

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]

Authors

Xia Mao

This author has not been identified. Look up 'Xia Mao' in Google

Yueling Zhang

This author has not been identified. Look up 'Yueling Zhang' in Google

Jianqi Shi

This author has not been identified. Look up 'Jianqi Shi' in Google

Yanhong Huang

This author has not been identified. Look up 'Yanhong Huang' in Google

Qin Li 0002

This author has not been identified. Look up 'Qin Li 0002' in Google
runs on