Publicaciones en las que colabora con KAWTAR BENGHAZI AKHLAKI SEKKATE (3)

2013

  1. Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems

    Journal of Ambient Intelligence and Smart Environments, Vol. 5, Núm. 3, pp. 287-310

2012

  1. Enabling correct design and formal analysis of Ambient Assisted Living systems

    Journal of Systems and Software, Vol. 85, Núm. 3, pp. 498-510

2009

  1. A methodological framework to the visual design and analysis of real-time systems

    Proceedings: DMS 2009 - 15th International Conference on Distributed Multimedia Systems