Publications de
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Logiciels distribués temps réel : approches de spécification Z
Dans : 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, p. 39-57, juillet 1999.
Accès : http://rerir.univ-pau.fr
BibTeX
Abdelmalek Benzekri, Jean-François Berdjugin, Yves Raynaud
Different Approaches of an Invoice System with Z
Dans : Invoice’98,International Workshop on Specification Techniques, and Formal Methods, Faculté des Sciences et Des Techniques de l’Université de Nantes, Habrias, Nantes, janvier 1998.
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Z, langage de spécification de systèmes répartis temps réel
Dans : 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, septembre 1997.
Un environnement de développement formel de systèmes distribués temps réel
Thèse de doctorat, Université Paul Sabatier, janvier 2002.