Un langage de contexte de preuve pour la validation formelle de modèles logiciels - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Un langage de contexte de preuve pour la validation formelle de modèles logiciels

Fichier non déposé

Dates et versions

hal-00517275 , version 1 (14-09-2010)

Identifiants

  • HAL Id : hal-00517275 , version 1

Citer

Philippe Dhaussy, Julien Auvray, Stephane de Belloy, Frédéric Boniol, Eric Landel. Un langage de contexte de preuve pour la validation formelle de modèles logiciels. conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne. ⟨hal-00517275⟩
63 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More