Verification of Distributed Object-Based Systems.

Fernando Luís Dotti Luciana Foss Leila Ribeiro Osmar Marchi dos Santos

Published in: FMOODS (2003)

Keyphrases

distributed systems
data intensive
distributed environment
building blocks
learning systems
computing systems
cooperative
management system
complex systems
model checking
open systems
mission critical
distributed computation
highly distributed
distributed object
automated verification