Etienne Prun | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Thierry Lecomte
4 publications
Sylvain Conchon
3 publications
David Deharbe
3 publications
Emmanuel Chailloux
3 publications
Steven Varoumas
1 publication
Denis Sabatier
1 publication
Patrick Péronne
1 publication
Adilla Susungi
1 publication
Erwan Mottin
1 publication

research

∙ 05/13/2020

Low Cost High Integrity Platform

Developing safety critical applications often require rare human resourc...

0 Thierry Lecomte, et al. ∙

research

∙ 05/13/2020

Applying a Formal Method in Industry: a 25-Year Trajectory

Industrial applications involving formal methods are still exceptions to...

0 Thierry Lecomte, et al. ∙