Formal Methods for Open Object-Based Distributed Systems V brings
together research in three important and related fields:
- Formal methods;
- Distributed systems;
- Object-based technology.
Such a convergence is representative of recent advances in the
field of distributed systems, and provides links between several
scientific and technological communities. The wide scope of topics
covered in this volume range in subject from UML to object-based
languages and calculi and security, and in approach from
specification to case studies and verification.
This volume comprises the proceedings of the Fifth International
Conference on Formal Methods for Open Object-Based Distributed
Systems (FMOODS 2002), which was sponsored by the International
Federation for Information Processing (IFIP) and held in Enschede,
The Netherlands in March 2002.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!