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.

  • 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