Formal Modeling and Validation of Distributed, Object-Oriented Systems

Stefan Leue

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.


Last modified: October 6, 1999.
Stefan Leue <>