Año: 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). En VI Jornadas de Concurrencia.. Pamplona, Spain.
[Más]
Año: 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). En V Jornadas de Concurrencia, páginas 321-332. Vigo, Spain.
[Más]
Año: 1996
-
XLIRA: An Environment for Telematic Application Development
Pazos Arias, J. J., Gil Solla, A., García Duque, J., Domínguez, M. & Freire, J (1996). En Proc of Telematics for future Education and Training. Oulu, Finland.
[Más]
Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1998). En VI Jornadas de Concurrencia.. Pamplona, Spain. [Más]
-
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). En V Jornadas de Concurrencia, páginas 321-332. Vigo, Spain. [Más]
Año: 1996
-
XLIRA: An Environment for Telematic Application Development
Pazos Arias, J. J., Gil Solla, A., García Duque, J., Domínguez, M. & Freire, J (1996). En Proc of Telematics for future Education and Training. Oulu, Finland.
[Más]
Pazos Arias, J. J., Gil Solla, A., García Duque, J., Domínguez, M. & Freire, J (1996). En Proc of Telematics for future Education and Training. Oulu, Finland. [Más]