This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed a…
This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed a…
by Bruni, Roberto, IFIP Working Group 6.1, Dingel, Juergen, International Conference on Formal Methods for Open Object-Based Distributed Systems, Reykjavík, Iceland), FORTE 2011, Reykjavík, Iceland)
fromLecture Notes in Computer Science
by Bruni, Roberto, IFIP Working Group 6.1, Dingel, Juergen, International Conference on Formal Methods for Open Object-Based Distributed Systems, Reykjavík, Iceland), FORTE 2011, Reykjavík, Iceland)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjav…
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully revie…
This book constitutes the refereed proceedings of the 16th European Conference on Object-Oriented Programming, ECOOP 2002, held in Malaga, Spain, in June 2002. The 24 revised full papers presented together with one full invited paper were carefully reviewed and selected from 96 …
