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.
Zeitschrift:
Journal of Systems and Software

ISSN: 0164-1212

Datum der Publikation: 2006

Ausgabe: 79

Nummer: 8

Seiten: 1141-1155

Art: Artikel

DOI: 10.1016/J.JSS.2005.12.019 GOOGLE SCHOLAR