A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System
Keywords
Nuclear Plant Protection System
I&C
PLC software
FBC-to-C translator
Static analysis
Cited by (0)
Copyright © 2013 IFAC. Published by Elsevier Ltd. All rights reserved.