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

Yoann Blein 1
1 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Communication dans un congrès
Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-01415944
Contributeur : Catherine Oriat <>
Soumis le : mardi 13 décembre 2016 - 17:42:15
Dernière modification le : jeudi 11 janvier 2018 - 01:49:06

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

34