Thierry Lecomte | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Paulin Fournier
4 publications
Sylvain Conchon
3 publications
David Deharbe
3 publications
Emmanuel Chailloux
3 publications
Marcel Oliveira
2 publications
Etienne Prun
2 publications
Adilla Susungi
1 publication
Denis Sabatier
1 publication
Steven Varoumas
1 publication
Patrick Péronne
1 publication
Erwan Mottin
1 publication

research

∙ 05/13/2020

The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment

The CLEARSY Safety Platform (CSSP) was designed to ease the development ...

0 Thierry Lecomte, et al. ∙

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. ∙

research

∙ 05/13/2020

The Bourgeois Gentleman, Engineering and Formal Methods

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

0 Thierry Lecomte, et al. ∙