|
Volumn , Issue , 1998, Pages 43-52
|
Specification and verification of an Object Request Broker
a
a
EPFL
(Switzerland)
|
Author keywords
[No Author keywords available]
|
Indexed keywords
C (PROGRAMMING LANGUAGE);
COMPUTER SIMULATION;
FORMAL LOGIC;
NETWORK PROTOCOLS;
OBJECT ORIENTED PROGRAMMING;
CONCURRENCY CONTROL;
DATA STRUCTURES;
INFORMATION RETRIEVAL SYSTEMS;
ONLINE SYSTEMS;
SECURITY OF DATA;
OBJECT REQUEST BROKER;
TEMPORAL LOGIC;
FORMAL METHODS;
OBJECT REQUEST BROKER (ORB);
COMPUTER SOFTWARE SELECTION AND EVALUATION;
COMPUTER AIDED SOFTWARE ENGINEERING;
|
EID: 0031597147
PISSN: 02705257
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (7)
|
References (19)
|