Details
Title
Specification and Verification of an Object Request Broker (CORBA)
Author(s)
Duval, G.
Published in
ICSE'98, The 20th International Conference on Software Engineering
Conference
Kyoto, Japan
Date
1998
Laboratories
LTI
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LTI - Computer Networking Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2007-01-11