|
|
|
Volumn 3, Issue , 1996, Pages 1803-1807
|
|
Integrating performance evaluation and formal specification
a
a
EPFL
(Switzerland)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER NETWORKS;
COMPUTER SIMULATION;
DATA TRANSFER;
ERRORS;
FORMAL LANGUAGES;
HEURISTIC METHODS;
MATHEMATICAL MODELS;
NETWORK PROTOCOLS;
PERFORMANCE;
PROBABILITY;
SPECIFICATIONS;
ESTELLE STANDARDIZED FORMAL TECHNIQUE;
FORMAL SPECIFICATION;
FUNCTIONAL ERRORS;
PERFORMANCE EVALUATION;
PERFORMANCE MODELING;
TRANSPORT CONTROL PROTOCOL;
DATA COMMUNICATION SYSTEMS;
|
|
EID: 0029699646
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (4)
|
|
References (12)
|
