MIGUEL JUAN
HORNOS BARRANCO
PROFESOR TITULAR DE UNIVERSIDAD
KAWTAR
BENGHAZI AKHLAKI SEKKATE
PROFESORA TITULAR DE UNIVERSIDAD
Publications by the researcher in collaboration with KAWTAR BENGHAZI AKHLAKI SEKKATE (4)
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
-
Hierarchical role-based design of web-based educational systems for blended learning in higher education
Journal of Research and Practice in Information Technology, Vol. 44, Núm. 2, pp. 223-242
2009
-
A methodological framework to the visual design and analysis of real-time systems
Proceedings: DMS 2009 - 15th International Conference on Distributed Multimedia Systems
-
Towards compositional verification in MEDISTAM-RT methodological framework
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)