Lecomte, Thierry

1. Formally Checking Large Data Sets in the Railways
   2012/10/25 by Lecomte, Thierry, Burdy, Lilian, Leuschel, Michael · 1 citation
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
   2020/05/13 by Lecomte, Thierry, Deharbe, David, Fournier, Paulin +1 · 1 citation
   #FOS: Computer and information sciences #Software Engineering (cs.SE)