Context Constraints Method for Software Formal Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Context Constraints Method for Software Formal Verification

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00517272 , version 1

Citer

Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Context Constraints Method for Software Formal Verification. ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands. ⟨hal-00517272⟩
63 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More