Formalizing and Validating Behavioral Models Through the Event Calculus

O. Díaz,N. Paton,Jon Iturrioz
DOI: https://doi.org/10.1016/S0306-4379(98)00008-8
IF: 3.18
1998-05-01
Information Systems
Abstract:
What problem does this paper attempt to address?