共 50 条
- [1] Safety critical software in process control and nuclear power HAZARDS XIII PROCESS SAFETY - THE FUTURE, 1997, (141): : 451 - 461
- [2] ASSESSMENT OF SAFETY-CRITICAL SOFTWARE IN NUCLEAR-POWER-PLANTS NUCLEAR SAFETY, 1991, 32 (02): : 189 - 198
- [3] PLC-based safety critical software development for nuclear power plants COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2004, 3219 : 155 - 165
- [7] The software V&V tasks for a safety-critical software based protection system in nuclear power plants 2005 IEEE International Conference on Industrial Technology - (ICIT), Vols 1 and 2, 2005, : 366 - 371
- [8] Development of Safety Software for the Paks Nuclear Power Plant ERCIM NEWS, 2008, (75): : 53 - 54
- [9] Safety analysis of safety-critical software for nuclear digital protection system COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 148 - +