Affiliation:
1. School of Computing KAIST Daejeon Republic of Korea
Funder
Ministry of Higher Education and Scientific Research
Nuclear Safety and Security Commission
Ministry of Science and ICT, South Korea
Subject
Safety, Risk, Reliability and Quality,Software
Reference64 articles.
1. IEC.International standard for programmable controllers: programming languages part 3 1993. International Electrotecnical Commission.
2. Commission UNR.Software unit testing for digital computer software used in safety systems of nuclear power plants 2013. Regulatory Guide 1.
3. Guide IS.Software for computer based systems important to safety in nuclear power plants 2000. Safety Standards Series NNS‐G‐11.
4. LahtinenJ.Automatic test set generation for function block based systems using model checking. InQuality of Information and Communications Technology (QUATIC) 2014 9th International Conference on the IEEE 2014;216–225.
5. Automatic test case generation for structural testing of function block diagrams
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献