|
|
|
Volumn , Issue , 1998, Pages 99-104
|
|
Certifying high assurance software
a
a
Cigital
(United States)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
SOFTWARE CERTIFICATION PROCESSES;
GAME THEORY;
MATHEMATICAL MODELS;
PIPELINE PROCESSING SYSTEMS;
SET THEORY;
COMPUTER SOFTWARE;
|
|
EID: 0032289243
PISSN: 07303157
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (3)
|
|
References (5)
|
