Login / Signup
A refinement development approach for enhancing the safety of PLC programs with Event-B.
Xia Mao
Yueling Zhang
Jianqi Shi
Yanhong Huang
Qin Li
Published in:
Sci. Comput. Program. (2022)
Keyphrases
</>
programming environments
control system
decision support
design principles
genetic algorithm
knowledge base
data mining
decision making
software engineering
programming language
design process
event detection
software design
development environment
programming environment
safety critical