Publications of
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Logiciels distribués temps réel : approches de spécification Z
In : Revue Electronique sur les Réseaux et l’Informatique Répartie, Laboratoire de Téléinformatique et Analyse des Systèmes Communicants de l’université de Pau, France, Laboratoire TASC Université de Pau, Vol. Volume, N. 8, pp. 39-57, July 1999.
Abdelmalek Benzekri, Jean-François Berdjugin, Yves Raynaud
Different Approaches of an Invoice System with Z
In : Invoice’98,International Workshop on Specification Techniques, and Formal Methods, Faculté des Sciences et Des Techniques de l’Université de Nantes, Habrias, Nantes, January 1998.
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Z, langage de spécification de systèmes répartis temps réel
In : Conférence Francophone sur l’Ingénierie des Protocoles (CFIP’97), Liège, Belgique, 29/09/97-02/10/97, Hermès. ISBN 2-86601-639-4, September 1997.
Un environnement de développement formel de systèmes distribués temps réel
Master’s Thesis, Université Paul Sabatier, January 2002.