Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Brevet

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

Stéphane Chatty 1 Daniel Prun 1 Mathieu Magnaudet 1
1 ENAC - Ecole Nationale de l'Aviation Civile
Type de document :
Brevet
Liste complète des métadonnées
https://hal-enac.archives-ouvertes.fr/hal-01610675
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : mercredi 4 octobre 2017 - 22:32:15
Dernière modification le : mercredi 3 novembre 2021 - 06:35:54

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⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

66