6 citations · 9 across the 6 of their papers we have counts for
3 papers · 1 filter
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
Thierry Lecomte, David Deharbe, Paulin Fournier +1
The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) unde…
Low Cost High Integrity Platform
Thierry Lecomte, David Deharbe, Denis Sabatier +6
Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during…
Applying a Formal Method in Industry: a 25-Year Trajectory
Thierry Lecomte, David Deharbe, Etienne Prun +1
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existi…