%0 Journal Article %1 moy2013testing %A Moy, Yannick %A Ledinot, Emmanuel %A Delseny, Hervé %A Wiels, Virginie %A Monate, Benjamin %C Los Alamitos, CA, USA %D 2013 %I IEEE Computer Society %J IEEE Software %K DO-178C Formal Testing Verification %N 3 %P 50-57 %R http://doi.ieeecomputersociety.org/10.1109/MS.2013.43 %T Testing or Formal Verification: DO-178C Alternatives and Industrial Experience %V 30

@article{moy2013testing, added-at = {2013-05-06T12:00:00.000+0200}, address = {Los Alamitos, CA, USA}, author = {Moy, Yannick and Ledinot, Emmanuel and Delseny, Hervé and Wiels, Virginie and Monate, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2b74623c2973b901910639841efdb847b/ctorens}, description = {Testing or Formal Verification: DO-178C Alternatives and Industrial Experience}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.43}, interhash = {7fffd4b9151b0306871d9fa25b30614f}, intrahash = {b74623c2973b901910639841efdb847b}, issn = {0740-7459}, journal = {IEEE Software}, keywords = {DO-178C Formal Testing Verification}, number = 3, pages = {50-57}, publisher = {IEEE Computer Society}, timestamp = {2013-05-06T12:00:01.000+0200}, title = {Testing or Formal Verification: DO-178C Alternatives and Industrial Experience}, volume = 30, year = 2013 }