BibTeX record journals/ress/LeeLSLK20

download as .bib file

@article{DBLP:journals/ress/LeeLSLK20,
  author       = {Sang Hun Lee and
                  Seung Jun Lee and
                  Sung Min Shin and
                  Eun{-}chan Lee and
                  Hyun Gook Kang},
  title        = {Exhaustive testing of safety-critical software for reactor protection
                  system},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {193},
  pages        = {106667},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ress.2019.106667},
  doi          = {10.1016/J.RESS.2019.106667},
  timestamp    = {Sun, 12 Nov 2023 02:18:11 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/LeeLSLK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.