Communication Dans Un Congrès
Année : 2016
Catherine Oriat : Connectez-vous pour contacter le contributeur
https://hal.univ-grenoble-alpes.fr/hal-01415944
Soumis le : mardi 13 décembre 2016-17:42:15
Dernière modification le : jeudi 4 avril 2024-20:56:18
Dates et versions
Identifiants
- HAL Id : hal-01415944 , version 1
Citer
Yoann Blein. Identification de propriétés pour la validation d'un système cyber-physique médical. Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France. ⟨hal-01415944⟩
Collections
35
Consultations
0
Téléchargements