Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos. Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. In Jon Whittle, Tony Clark, Thomas Kühne, editors, Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Volume 6981 of Lecture Notes in Computer Science, pages 319-333, Springer, 2011. [doi]
Abstract is missing.