Communication Dans Un Congrès
Année : 2009
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517272
Soumis le : mardi 14 septembre 2010-09:16:49
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
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⟩
Collections
63
Consultations
0
Téléchargements