Formalizing and validating behavioral models through the event calculus

  1. Diaz, O.
  2. Paton, N.W.
  3. Iturrioz, J.
Revue:
Information Systems

ISSN: 0306-4379

Année de publication: 1998

Volumen: 23

Número: 3-4

Pages: 179-196

Type: Article

GOOGLE SCHOLAR
La source de données: Scopus