Safety-critical software

被引：0

作者：

机构：

来源：

| 1600年 / IEEE Computer Society卷 / 30期

关键词：

D O I：

10.1109/MS.2013.55

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
[J]. ERCIM NEWS, 2008, (75): : 12 - 13
[2] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
[J]. ENGINEERING, 1991, 231 (08): : 45 - 47
[3] Mandate safety-critical software
Frisina, J
[J]. COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
[4] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
MCDERMID, J
[J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
[5] Changing safety-critical software
Rierson, LK
[J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
[6] Perspectives on safety-critical software
Bhansali, PV
[J]. AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
[7] Verification of Safety-Critical Software
Andersen, B. Scott
Romanski, George
[J]. COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
[8] Testing safety-critical software
Nikolaropoulos, E
[J]. HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
[9] EVALUATION OF SAFETY-CRITICAL SOFTWARE
PARNAS, DL
VANSCHOUWEN, AJ
KWAN, SP
[J]. COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
[10] Software tools for safety-critical software development
Alan Wassyng
Mark Lawford
[J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354