https://hal-enac.archives-ouvertes.fr/hal-01610675
Contributor : Laurence Porte <>
Submitted on : Wednesday, October 4, 2017 - 10:32:15 PM Last modification on : Tuesday, October 20, 2020 - 10:32:06 AM
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⟩