Herv Delseny
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2016
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | DSN | Software Safety Assessment and Probabilities. | Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Herv Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Qur, Bertrand Ricque |
| 2009 | FM | Formal Verification of Avionics Software Products. | Jean Souyris, Virginie Wiels, David Delmas, Herv Delseny |