Alioune Diagne

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Didier Buchs, Alioune Diagne, Fabrice Kordon
Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping (1998)
Marie-Pierre Gervais, Alioune Diagne
Enhancing telecommunications service engineering with mobile agent technology and formal methods. IEEE Commun. Mag. 36 (7) (1998)
Alioune Diagne, Fabrice Kordon
A multi formalisms prototyping approach from formal description to implementation of distributed systems. RSP (1996)