Formalizing and validating behavioral models through the event calculus

• Authors:

• Oscar Diaz;Norman W. Paton;Jon Iturrioz

• Affiliations:

• -;-;-

• Venue:
• Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
• Year:
• 1998