Using context descriptions and property definition patterns for software formal verification - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année :

Using context descriptions and property definition patterns for software formal verification

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00517276 , version 1

Citer

Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification. ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France. ⟨hal-00517276⟩
55 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More