Publications de
Abdo Abdulmalak, Abdelmalek Benzekri, Jean-Michel Bruel
Quality of Service analysis using Formal Methods
Dans : Quality of Service – Description, Modelling and Management (Proceedings of the 4th International IFIP Workshop on QoS), Paris, France, 06/03/96-08/03/96, Andreas Vogel and Jan de Meer, GMD-Studien Nr 282, p. 151-160, mars 1996.
Jean-Michel Bruel, Yves Raynaud, Abdo Abdulmalak
Validation of an Adaptive Leaky Bucket Algorithm
Dans : International Conference on Computer Applications in Industry and Engineering, Honolulu, Hawaii, USA, 29/11/95-01/12/95, A. Goel, novembre 1995.