Formal Methods for Open Object-Based Distributed Systems V brings together research in three impo...

This book constitutes the proceedings of the 17th International Conference on Fundamental Approac...

Graphs are among the simplest and most universal models for a variety of s- tems, not just in com...

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th b...

The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applicat...

This book constitutes the refereed proceedings of the 11th International Conference on Model Tran...

Formal Methods for Open Object-Based Distributed Systems V brings together research in three impo...