Méthodes de spécification formelle : état de l’art et perspectives
Mohand Oussaïd Linda,
Méthodes de spécification formelle : état de l’art et perspectives.
Colloque international sur l’optimisation et les systèmes d’information (COSI) 12-14 juin 2005 Bejaia 2005.