Publications en collaboration avec des chercheurs de University of Manchester (1)

1998

  1. Formalizing and validating behavioral models through the event calculus

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