Login / Signup
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
Eui-Sub Kim
Dong-Ah Lee
Sejin Jung
Junbeom Yoo
Jong-Gyun Choi
Jang-Soo Lee
Published in:
J. Comput. Sci. Eng. (2017)
Keyphrases
</>
software development
dynamic programming
multi agent
software engineering
low cost
smart card