Publicaciones en colaboración con investigadoras/es de University of Manchester (2)

1998

  1. Formalizing and validating behavioral models through the event calculus

    Information Systems, Vol. 23, Núm. 3-4, pp. 179-196

1997

  1. Stimuli and business policies as modelling constructs: their definition and validation through the event calculus

    Advanced information systems engineering: 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, june 16-20, 1997 : proceedings