MIGUEL JUAN HORNOS BARRANCO-rekin lankidetzan egindako argitalpenak (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)