Conferences

Year: 2000

  • Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain.
  • Reusing Functional Requirements by Using Formal Techniques
    Pazos Arias, J. J. & Díaz Redondo, R. P (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.
  • Verificación de requisitos de tiempo críticos sobre sistemas incompletos
    Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.

Year: 1999

  • Aplicaciones para un sistema de recepción digital multimedia
    Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). In Proc of URSI (URSI). Santiago de Compostela, Spain.
  • Diseño de un sistema de recepción digital multimedia
    Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). In II Jornadas de Ingeniería Telemática. Leganés, Spain.
  • Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
  • Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos
    Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.

Year: 1998

  • LCTS: Una Lógica Temporal Causal para la Especificación y Verificación de Requisitos Funcionales de un Sistema Distribuido
    Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1998). In VI Jornadas de Concurrencia.. Pamplona, Spain.

Year: 1997

  • Una Lógica Temporal Causal para la Especificación de Requisitos Funcionales de un Sistema Distribuido
    Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1997). In V Jornadas de Concurrencia, pages 321-332. Vigo, Spain.

Year: 1996

Year: 1995

  • Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal
    Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In IV Jornadas de Concurrencia. El Escorial, Spain.

Year: 1994

  • Especificación y Transformación de Protocolos con LOTOS
    Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.

Year: 1993

  • Especificación y Transformación de las Propiedades de un Programa LOTOS
    Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 25-38. Madrid, Spain.
  • Síntesis de programas LOTOS a partir de la especificación de sus propiedades
    Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.

Year: 1990

  • Formalización de propiedades de procesos LOTOS con Lógica Temporal
    Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.