This volume contains proceedings of the Case Study Track, held at the 4th International Conferenc...

This book constitutes the refereed proceedings of the 4th International Conference on Model and D...

This book constitutes the refereed proceedings of the 6th International Conference on Model and D...

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...

This book constitutes the proceedings of the 21st International Conference on Formal Engineering ...

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects...

This book constitutes of the proceedings from the 28th International Conference on Engineering of...