Vérification formelle des propriétés de sécurité des logiciels

  • Imprimer

Mohand Oussaïd Linda,

Vérification formelle des propriétés de sécurité des logiciels.

Colloque international sur l’optimisation et les systèmes d’information (COSI) 12-14 juin 2005 Bejaia