|
Volumn , Issue , 1998, Pages 165-170
|
Verification of the fast reservation protocol with delayed transmission using the tool KRONOS
|
Author keywords
[No Author keywords available]
|
Indexed keywords
POTENTIAL PROBLEMS;
RESEARCH COOPERATION;
RESERVATION PROTOCOLS;
AUTOMATA THEORY;
COMPUTER SIMULATION;
COMPUTER SOFTWARE;
DATA COMMUNICATION SYSTEMS;
FREQUENCY ALLOCATION;
NETWORK PROTOCOLS;
TOOLS;
REAL TIME SYSTEMS;
FAST RESERVATION PROTOCOL WITH DELAYED TRANSMISSION (FRPDT);
SOFTWARE PACKAGE KRONOS;
|
EID: 0031641195
PISSN: 10801812
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/RTTAS.1998.683200 Document Type: Conference Paper |
Times cited : (10)
|
References (3)
|