Login / Signup
A formal software requirements specification method for digital nuclear plant protection systems.
Junbeom Yoo
Tai Hyo Kim
Sung Deok Cha
Jang-Soo Lee
Han Seong Son
Published in:
J. Syst. Softw. (2005)
Keyphrases
</>
computer systems
user interface
requirements specification
general purpose
formal methods
information systems
multi agent systems
object oriented
open source
distributed systems
domain independent