Bug Detection in Large-Scale Nuclear Power Software

被引：2
|
作者：
Liu, Zheng
Mo, Wentao
Ren, Dangpei
Zhao, Guang
Liu, Mingye
机构：
来源：
23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012) | 2012年
关键词：
D O I：
10.1109/ISSREW.2012.26
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：47 / 52
页数：6
相关论文
共 50 条
  • [1] From the First npp to Large-Scale Nuclear Power
    A. A. Goverdovskii
    V. I. Rachkov
    [J]. Atomic Energy, 2014, 116 : 230 - 235
  • [2] Indicators of reactors in large-scale nuclear power in Russia
    E. O. Adamov
    I. Kh. Ganev
    A. V. Lopatkin
    V. G. Muratov
    V. V. Orlov
    [J]. Atomic Energy, 1998, 85 : 769 - 775
  • [3] SCWR for Future Large-Scale Nuclear Power Generation
    Cheng Xu(School of Nuclear Science and Engineering
    [J]. Engineering Sciences, 2007, (04) : 68 - 75
  • [4] From the First npp to Large-Scale Nuclear Power
    Goverdovskii, A. A.
    Rachkov, V. I.
    [J]. ATOMIC ENERGY, 2014, 116 (04) : 230 - 235
  • [5] Indicators of reactors in large-scale nuclear power in Russia
    Adamov, EO
    Ganev, IK
    Lopatkin, AV
    Muratov, VG
    Orlov, VV
    [J]. ATOMIC ENERGY, 1998, 85 (05) : 769 - 775
  • [6] NUCLEAR FUEL REQUIREMENTS FOR LARGE-SCALE INDUSTRIAL POWER
    LANE, JA
    [J]. NUCLEONICS, 1954, 12 (10): : 65 - 67
  • [7] SOFTWARE AS A LARGE-SCALE SYSTEM
    SAGE, AP
    [J]. LARGE SCALE SYSTEMS IN INFORMATION AND DECISION TECHNOLOGIES, 1987, 12 (03): : 185 - 188
  • [8] Development of Innovative Technological Base for Large-scale Nuclear Power
    Adamov, E. O.
    Dedul, A. V.
    Orlov, V. V.
    Rachkov, V. I.
    Slesarev, I. S.
    [J]. ATW-INTERNATIONAL JOURNAL FOR NUCLEAR POWER, 2017, 62 (04): : 237 - +
  • [9] APPLICATION OF NUCLEAR ENERGY TO LARGE-SCALE POWER AND DESALTING PLANTS
    SIEGEL, S
    GOLAN, S
    FALCON, JA
    [J]. NUCLEAR ENGINEERING AND DESIGN, 1966, 4 (03) : 225 - &
  • [10] Scale and Responsiveness in Large-Scale Software Development
    Olsson, Helena Holmstrom
    Sandberg, Anna Borjesson
    Bosch, Jan
    Alahyari, Hiva
    [J]. IEEE SOFTWARE, 2014, 31 (05) : 87 - 93
12345