Tesis de doctorado
Year: 2022
-
Contribuciones al uso de agentes virtuales para estimular la interacción social en niños con Trastorno del Espectro Autista.
Guerrero Vasquez, L. F. (2022). Phd Thesis.
-
From Social Data to Personalized Task Recommendation: A Semantic Approach.
Kamel, M. A. (2022). Phd Thesis, Vigo.
Year: 2021
-
Contributions to semantics-based recommendations and visualization technologies to develop and curate cultural heritage experiences..
Rady Ewies, D. A. (2021). Phd Thesis.
Year: 2019
-
Aplicación de tecnologías de Web Semántica para mejorar la didáctica de la Historia y el Patrimonio Cultural por medio de narrativas transversales.
Bravo Quezada, O. G. (2019). Phd Thesis.
-
Contribuciones a la gestión del conocimiento en el ámbito de la educación superior mediante técnicas de Inteligencia Artificial.
García Vélez, R. A. (2019). Phd Thesis, Vigo.
-
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Phd Thesis, Universidad de Vigo.
Year: 2018
-
Contribución a los mecanismos de virtualización y enrutado para aplicaciones de conducción autónoma en redes ad-hoc móviles y vehiculares.
Saiáns Vázquez, J. V. (2018). Phd Thesis.
-
Mecanismos de aumentación móvil basados en nubes esporádicas de computación para desplegar y soportar servicios en redes vehiculares ad-hoc..
Ordoñez Morales, E. F. (2018). Phd Thesis.
Year: 2016
-
Contribución a los modelos de soporte pedagógico basados en TICs y sistemas inteligentes como herramientas de apoyo a la educación especial y terapia de lenguaje.
Robles Bykbaev, V. E. (2016). Phd Thesis, Vigo.
Year: 2015
-
Mejora de los servicios de comunicaciones sobre redes móviles ad hoc en escenarios pedestres y vehiculares mediante virtualización..
Bravo Torres, J. F. (2015). Phd Thesis, Vigo.
Year: 2012
-
Estrategias para el Incremento de la Fiabilidad y Confianza en Sistemas de Recomendación Colaborativa. Un Enfoque Semántico para la Personalización de la Publicidad en Comercio Electrónico..
Martín Vicente, M. I. (2012). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Guerrero Vasquez, L. F. (2022). Phd Thesis.
Kamel, M. A. (2022). Phd Thesis, Vigo.
-
Contributions to semantics-based recommendations and visualization technologies to develop and curate cultural heritage experiences..
Rady Ewies, D. A. (2021). Phd Thesis.
Year: 2019
-
Aplicación de tecnologías de Web Semántica para mejorar la didáctica de la Historia y el Patrimonio Cultural por medio de narrativas transversales.
Bravo Quezada, O. G. (2019). Phd Thesis.
-
Contribuciones a la gestión del conocimiento en el ámbito de la educación superior mediante técnicas de Inteligencia Artificial.
García Vélez, R. A. (2019). Phd Thesis, Vigo.
-
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Phd Thesis, Universidad de Vigo.
Year: 2018
-
Contribución a los mecanismos de virtualización y enrutado para aplicaciones de conducción autónoma en redes ad-hoc móviles y vehiculares.
Saiáns Vázquez, J. V. (2018). Phd Thesis.
-
Mecanismos de aumentación móvil basados en nubes esporádicas de computación para desplegar y soportar servicios en redes vehiculares ad-hoc..
Ordoñez Morales, E. F. (2018). Phd Thesis.
Year: 2016
-
Contribución a los modelos de soporte pedagógico basados en TICs y sistemas inteligentes como herramientas de apoyo a la educación especial y terapia de lenguaje.
Robles Bykbaev, V. E. (2016). Phd Thesis, Vigo.
Year: 2015
-
Mejora de los servicios de comunicaciones sobre redes móviles ad hoc en escenarios pedestres y vehiculares mediante virtualización..
Bravo Torres, J. F. (2015). Phd Thesis, Vigo.
Year: 2012
-
Estrategias para el Incremento de la Fiabilidad y Confianza en Sistemas de Recomendación Colaborativa. Un Enfoque Semántico para la Personalización de la Publicidad en Comercio Electrónico..
Martín Vicente, M. I. (2012). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Bravo Quezada, O. G. (2019). Phd Thesis.
García Vélez, R. A. (2019). Phd Thesis, Vigo.
Dahroug, A. T. (2019). Phd Thesis, Universidad de Vigo.
-
Contribución a los mecanismos de virtualización y enrutado para aplicaciones de conducción autónoma en redes ad-hoc móviles y vehiculares.
Saiáns Vázquez, J. V. (2018). Phd Thesis. -
Mecanismos de aumentación móvil basados en nubes esporádicas de computación para desplegar y soportar servicios en redes vehiculares ad-hoc..
Ordoñez Morales, E. F. (2018). Phd Thesis.
Year: 2016
-
Contribución a los modelos de soporte pedagógico basados en TICs y sistemas inteligentes como herramientas de apoyo a la educación especial y terapia de lenguaje.
Robles Bykbaev, V. E. (2016). Phd Thesis, Vigo.
Year: 2015
-
Mejora de los servicios de comunicaciones sobre redes móviles ad hoc en escenarios pedestres y vehiculares mediante virtualización..
Bravo Torres, J. F. (2015). Phd Thesis, Vigo.
Year: 2012
-
Estrategias para el Incremento de la Fiabilidad y Confianza en Sistemas de Recomendación Colaborativa. Un Enfoque Semántico para la Personalización de la Publicidad en Comercio Electrónico..
Martín Vicente, M. I. (2012). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Robles Bykbaev, V. E. (2016). Phd Thesis, Vigo.
-
Mejora de los servicios de comunicaciones sobre redes móviles ad hoc en escenarios pedestres y vehiculares mediante virtualización..
Bravo Torres, J. F. (2015). Phd Thesis, Vigo.
Year: 2012
-
Estrategias para el Incremento de la Fiabilidad y Confianza en Sistemas de Recomendación Colaborativa. Un Enfoque Semántico para la Personalización de la Publicidad en Comercio Electrónico..
Martín Vicente, M. I. (2012). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Martín Vicente, M. I. (2012). Phd Thesis, Vigo. [Online version]
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo. [Online version] -
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo. [Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo. [Online version]
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo. [Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo. [Online version]
Blanco Fernández, Y. (2007). Phd Thesis, Universidade de Vigo. [Online version]
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo. [Online version] -
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo. [Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo. [Online version]
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo. [Online version]
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo. [Online version] -
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo. [Online version] -
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña. [Online version]
Year: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Pazos Arias, J. J. (1995). Phd Thesis, Universidad Politécnica de Madrid.
Results 1 - 25 of 25