KAWTAR
BENGHAZI AKHLAKI SEKKATE
PROFESORA TITULAR DE UNIVERSIDAD
MARÍA JOSÉ
RODRÍGUEZ FORTIZ
PROFESORA TITULAR DE UNIVERSIDAD
MARÍA JOSÉ RODRÍGUEZ FORTIZ-rekin lankidetzan egindako argitalpenak (3)
2013
-
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
-
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
-
A methodological framework to the visual design and analysis of real-time systems
Proceedings: DMS 2009 - 15th International Conference on Distributed Multimedia Systems