Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning

  1. López-Nores, M.
  2. Pazos-Arias, J.
  3. García-Duque, J.
  4. Blanco-Fernández, Y.
  5. Ramos-Cabrer, M.
  6. Gil-Solla, A.
  7. Fernández-Vilas, A.
  8. Díaz-Redondo, R.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2006

Alea: 79

Zenbakia: 8

Orrialdeak: 1141-1155

Mota: Artikulua

DOI: 10.1016/J.JSS.2005.12.019 GOOGLE SCHOLAR
Datuen iturria: Scopus