Mazen Malek Shiaa, Finn Arve Aagesen, Cyril Carrez. Formal Modelling of an Adaptable Service System. In Roch H. Glitho, Ahmed Karmouch, Samuel Pierre, editors, Intelligence in Communication Systems - IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 Montreal, Canada, October 17-19, 2005. Volume 190 of IFIP, pages 123-134, Springer, 2005. [doi]
Abstract is missing.