Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate. Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Software, 30(3):50-57, 2013. [doi]
@article{MoyLDWM13,
title = {Testing or Formal Verification: DO-178C Alternatives and Industrial Experience},
author = {Yannick Moy and Emmanuel Ledinot and Hervé Delseny and Virginie Wiels and Benjamin Monate},
year = {2013},
doi = {10.1109/MS.2013.43},
url = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.43},
researchr = {https://researchr.org/publication/MoyLDWM13},
cites = {0},
citedby = {0},
journal = {IEEE Software},
volume = {30},
number = {3},
pages = {50-57},
}