Showing results 1 to 2 of 2
Automated test coverage measurement for reactor protection system software implemented in function block diagram Jee E.; Kim S.; Cha S.; Lee I., 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010, pp.223 - 236, 2010-09-14 |
PLC-based safety critical software development for nuclear power plants Yoo J.; Cha S.; Son H.S.; Kim C.H.; Lee J.-S., COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, v.3219, pp.155 - 165, 2004 |
Discover