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

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

  • All

  • 1995
  • 1996
  • 2001
  • 2002
  • 2003
  • 2004
  • 2005
  • 2006
  • 2008
  • 2009
  • 2011
  • 2015

  • BENNA Amel
  • BOULKRINAT Noue El Houda
  • MELLAH Hakima
  • MEZIANE Abdelkrim
  • MOHAND OUSSAID Linda
  • Titre
  • Date
charger plus maintenez SHIFT pour tout charger tout charger