Login / Signup
Verification of CORBA systems with composition of Well Formed Nets.
Clément Delamare
Yvon Gardan
Patrice Moreaux
Published in:
OPODIS (2002)
Keyphrases
</>
expert systems
databases
distributed systems
automated verification
model checking
complex systems
digital libraries
multi agent
decision trees
object oriented
website
peer to peer
learning algorithm
data mining
software components
distributed object
real world