Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems.

Canlong Ma Julien Provost

Published in: IEEE Trans. Ind. Informatics (2020)

Keyphrases

safety critical
design process
embedded systems
user interface
experimental design
formal methods
load balancing
ubiquitous computing
nuclear power plant