Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Heather Culbertson
Wei Dong
Hao Mao
Tom Z. J. Fu
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JONG-GYUN CHOI
Author Info
Open Visualization
Name
Affiliation
Papers
JONG-GYUN CHOI
Korea Atomic Energy Research Institute, Daejeon, Korea
5
Collaborators
Citations
PageRank
18
5
2.26
Referers
Referees
References
25
15
6
Publications (5 rows)
Collaborators (18 rows)
Referers (25 rows)
Referees (15 rows)
Title
Citations
PageRank
Year
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
0
0.34
2017
NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants
0
0.34
2014
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study
0
0.34
2014
Defense-in-depth and diverse qualification of safety-critical software
0
0.34
2007
Software safety lifecycles and the methods of a programmable electronic safety system for a nuclear power plant
5
0.91
2006
1