Publicaciones en las que colabora con MIGUEL JUAN HORNOS BARRANCO (4)

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

  2. 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

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

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

  2. 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)