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

Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486
Mathieu Magnaudet
  • Fonction : Auteur
  • PersonId : 957733
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⟩

Collections

ENAC LII
73 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More