Login / Signup
Modeling and Verification of a CORBA-based Object Management System.
O-Hoon Choi
Doo-Kwon Baik
Published in:
PDPTA (2002)
Keyphrases
</>
management system
decision support system
d objects
multi view
complex objects
website
object oriented
distributed systems
database management systems
lightweight
object tracking
model checking
data objects
complex scenes
object management
functional verification