A method, software and processing unit for verifying properties of interactive components - Archive ouverte HAL Accéder directement au contenu
Brevet Année : 2016

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

(1) , (1) , (1)
1
Stéphane Chatty
Ecole Nationale de l'Aviation Civile
CV
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486
Ecole Nationale de l'Aviation Civile
Mathieu Magnaudet
  • Fonction : Auteur
  • PersonId : 957733
Ecole Nationale de l'Aviation Civile

Domaines

Informatique [cs]

Laurence Porte  : Connectez-vous pour contacter le contributeur

https://hal-enac.archives-ouvertes.fr/hal-01610675

Soumis le : mercredi 4 octobre 2017-22:32:15

Dernière modification le : mercredi 3 novembre 2021-06:35:54

Fichier non déposé

Dates et versions

hal-01610675 , version 1 (04-10-2017)

Identifiants

  • HAL Id : hal-01610675 , version 1

Citer

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 Dublin Core DC Terms EndNote Datacite

Collections

ENAC LII
72 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More