A method, software and processing unit for verifying properties of interactive components - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Brevet Année : 2016

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

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://enac.hal.science/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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENAC LII
75 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More