Login / Signup

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.

Eui-Sub KimDong-Ah LeeSejin JungJunbeom YooJong-Gyun ChoiJang-Soo Lee
Published in: J. Comput. Sci. Eng. (2017)
Keyphrases
  • software development
  • dynamic programming
  • multi agent
  • software engineering
  • low cost
  • smart card