LTCSuna lógica temporal causal para la especificación y verificación de requisitos funcionales de un sistema distribuido

  1. Pazos Arias, José Juan
  2. García Duque, Jorge
  3. Gil Solla, Alberto
  4. Díaz Redondo, Rebeca
  5. Fernández Vilas, Ana
Llibre:
VI Jornadas de Concurrencia

Editorial: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa

Any de publicació: 1998

Pàgines: 105-116

Congrés: Jornadas de Concurrencia (6. 1998. Pamplona)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet