Login / Signup

A formal software requirements specification method for digital nuclear plant protection systems.

Junbeom YooTai Hyo KimSung Deok ChaJang-Soo LeeHan 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