A method, software and processing unit for verifying properties of interactive components

Type de document :
Brevet
Germany, Patent n° : EP 3106991 A1. 2016
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-01610675
Contributeur : Laurence Porte <>
Soumis le : mercredi 4 octobre 2017 - 22:32:15
Dernière modification le : vendredi 22 juin 2018 - 14:18:07

Identifiants

  • HAL Id : hal-01610675, version 1

Collections

ENAC | LII

Citation

Stéphane Chatty, Daniel Prun, Mathieu Magnaudet. A method, software and processing unit for verifying properties of interactive components. Germany, Patent n° : EP 3106991 A1. 2016. 〈hal-01610675〉

Partager

Métriques

Consultations de la notice

72