A formal software requirements specification method for digital nuclear plant protection systems
The work
| Title | A formal software requirements specification method for digital nuclear plant protection systems |
|---|---|
| Authors | Junbeom Yoo; Taihyo Kim; Sungdeok Cha; Jang-Soo Lee; Han Seong Son |
| Type | article |
| Year | 2005 |
| Citekey | yoo2005formal |
Where it appeared
| Published in | Journal of Systems and Software |
|---|---|
| Volume | 74 |
| Issue | 1 |
| Pages | 73--83 |
Identifiers
| DOI | 10.1016/j.jss.2003.10.018 |
|---|
Copy held
| Kind | PDF, 703.8 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@article{yoo2005formal,
title = {A formal software requirements specification method for digital nuclear plant protection systems},
author = {Junbeom Yoo and Taihyo Kim and Sungdeok Cha and Jang-Soo Lee and Han Seong Son},
year = {2005},
journal = {Journal of Systems and Software},
volume = {74},
number = {1},
pages = {73--83},
doi = {10.1016/j.jss.2003.10.018},
}
This record lives at https://refs.drheap.org/yoo2005formal/ and will keep doing so.