Emmanuel Ledinot

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Alternative Approaches

Mechanical Engineering

Software Packages

Top Venues

Publications

Emmanuel Ledinot
CPS Engineering: Gap Analysis and Perspectives. CoRR (2021)
Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque
Software Safety Assessment and Probabilities. DSN Workshops (2016)
Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Softw. 30 (3) (2013)
Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone
ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36 (1) (2000)