This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Ser...

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the In...

This book constitutes the refereed proceedings of the 11th International Conference on Tests and ...

This book constitutes the refereed proceedings of the 16th International Conference on Software E...

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...

This book constitutes the refereed proceedings of the 5th European Conference on Service-Ori...

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...

This open access book constitutes the proceedings of the 25th International Conference on Fundame...

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the In...

This book constitutes the refereed proceedings of the 10th International Conference on Integrated...

This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains paper...

This open access book constitutes the proceedings of the 25 sup thsupInternational Confere...