Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Identification de propriétés pour la validation d'un système cyber-physique médical

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-01415944
Contributeur : Catherine Oriat <>
Soumis le : mardi 13 décembre 2016 - 17:42:15
Dernière modification le : mardi 6 octobre 2020 - 16:20:09

Identifiants

  • HAL Id : hal-01415944, version 1

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

93