Tesis de doctorado
Año: 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). Tesis de doctorado.
-
From Social Data to Personalized Task Recommendation: A Semantic Approach.
Kamel, M. A. (2022). Tesis de doctorado, Vigo.
Año: 2021
-
Contributions to semantics-based recommendations and visualization technologies to develop and curate cultural heritage experiences..
Rady Ewies, D. A. (2021). Tesis de doctorado.
Año: 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). Tesis de doctorado.
-
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). Tesis de doctorado, Vigo.
-
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Tesis de doctorado, Universidad de Vigo.
Año: 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). Tesis de doctorado.
-
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). Tesis de doctorado.
Año: 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
[Version online]
Año: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
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). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Guerrero Vasquez, L. F. (2022). Tesis de doctorado.
Kamel, M. A. (2022). Tesis de doctorado, Vigo.
-
Contributions to semantics-based recommendations and visualization technologies to develop and curate cultural heritage experiences..
Rady Ewies, D. A. (2021). Tesis de doctorado.
Año: 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). Tesis de doctorado.
-
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). Tesis de doctorado, Vigo.
-
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Tesis de doctorado, Universidad de Vigo.
Año: 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). Tesis de doctorado.
-
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). Tesis de doctorado.
Año: 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
[Version online]
Año: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
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). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Bravo Quezada, O. G. (2019). Tesis de doctorado.
García Vélez, R. A. (2019). Tesis de doctorado, Vigo.
Dahroug, A. T. (2019). Tesis de doctorado, 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). Tesis de doctorado. -
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). Tesis de doctorado.
Año: 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
[Version online]
Año: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
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). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Robles Bykbaev, V. E. (2016). Tesis de doctorado, 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). Tesis de doctorado, Vigo.
Año: 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). Tesis de doctorado, Vigo.
[Version online]
Año: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
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). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Martín Vicente, M. I. (2012). Tesis de doctorado, Vigo. [Version online]
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Tesis de doctorado, Universidad de Vigo. [Version online] -
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Tesis de doctorado, Universidad de Vigo. [Version online]
Año: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
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). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo. [Version online]
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo. [Version online]
Año: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
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). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
[Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo. [Version online]
Blanco Fernández, Y. (2007). Tesis de doctorado, Universidade de Vigo. [Version online]
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo. [Version online] -
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo. [Version online]
Año: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
[Version online]
Año: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
[Version online]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
[Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo. [Version online]
Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo. [Version online]
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo. [Version online] -
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo. [Version online] -
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña. [Version online]
Año: 1995
-
Transformación y Verificación con LOTOS.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.
Resultados 1 - 25 de 25