Communication Dans Un Congrès
Année : 2014
Annick Billon-Coat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01206522
Soumis le : mardi 29 septembre 2015-11:13:58
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01206522 , version 1
Citer
Philippe Dhaussy. Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués. JDIM’14, Jun 2014, Mostaganem, Algeria. ⟨hal-01206522⟩
116
Consultations
0
Téléchargements