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.
[More]
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.
[More]
Year: 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). In Proc of Telematics for future Education and Training. Oulu, Finland.
[More]
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. [More]
-
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. [More]
Year: 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). In Proc of Telematics for future Education and Training. Oulu, Finland.
[More]
Pazos Arias, J. J., Gil Solla, A., García Duque, J., Domínguez, M. & Freire, J (1996). In Proc of Telematics for future Education and Training. Oulu, Finland. [More]