E
Erwan Mottin
Publications - 2
Citations - 36
Erwan Mottin is an academic researcher. The author has contributed to research in topics: Constructive & Formal methods. The author has an hindex of 1, co-authored 2 publications receiving 27 citations.
Papers
More filters
Book ChapterDOI
Applying a Formal Method in Industry: A 25-Year Trajectory
TL;DR: The feedback provided by industry to academics is not as constructive as it might be as discussed by the authors, which is a common misperception of the feedback provided to industry to academic researchers in many industrial applications.
Posted Content
Applying a Formal Method in Industry: a 25-Year Trajectory
TL;DR: Industrial applications involving formal methods are still exceptions to the general rule, but feedback provided by industry to academics is not as constructive as it might be.