>

Formal Modeling and Validation of Distributed, Object-Oriented Systems

This compendium presents articles on case studies in the modeling of distributed, object-oriented systems, using various modeling languages and tools. We also make the source code for the presented models available, where possible.

Articles