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
Document type :
Patents
Complete list of metadatas
https://hal-enac.archives-ouvertes.fr/hal-01610675
Contributor : Laurence Porte <>
Submitted on : Wednesday, October 4, 2017 - 10:32:15 PM
Last modification on : Friday, June 22, 2018 - 2:18:07 PM

Identifiers

  • 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

102