|
|
|
Volumn , Issue , 1994, Pages 152-158
|
|
Validation of real-time systems: From `soft' to `hard'
a
a
SIEMENS AG
(Germany)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER SIMULATION;
FAILURE ANALYSIS;
FORMAL LOGIC;
MATHEMATICAL MODELS;
OPTIMIZATION;
SYSTEMS ANALYSIS;
SYSTEMS ENGINEERING;
HARD REAL TIME SYSTEMS;
MESSAGE SEQUENCE CHART (MSC);
SOFT REAL TIME SYSTEMS;
SPECIFICATION AND DESCRIPTION LANGUAGE (SDL);
REAL TIME SYSTEMS;
|
|
EID: 0028737344
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (8)
|
