|
|
|
Volumn , Issue , 1994, Pages 239-248
|
|
Testing synchronous critical software
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CODING ERRORS;
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SOFTWARE SELECTION AND EVALUATION;
DATA PROCESSING;
DATA STRUCTURES;
PROGRAM DEBUGGING;
DATA FLOW;
RANDOM GENERATOR;
SOFTWARE TESTING;
SYNCHRONOUS CRITICAL SOFTWARE;
TEST DATA SEQUENCES;
COMPUTER SOFTWARE;
|
|
EID: 0028728186
PISSN: 10719458
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (13)
|
|
References (22)
|
