Safety-Critical Software

被引：0

|

作者：

Merino, Pedro ^{[2
]}

Schoitsch, Erwin ^{[1
]}

机构：

[1] ARC AARIT, Austrian Res Ctr, Vienna, Austria

[2] Univ Malaga, SpaRCIM, Malaga, Spain

来源：

ERCIM NEWS | 2008年 / 75期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

收藏

页码：12 / 13

页数：2

相关论文

共 50 条

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

← 1 2 3 4 5 →