Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

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]

Authors

Yannick Moy

This author has not been identified. Look up 'Yannick Moy' in Google

Emmanuel Ledinot

This author has not been identified. Look up 'Emmanuel Ledinot' in Google

Hervé Delseny

This author has not been identified. Look up 'Hervé Delseny' in Google

Virginie Wiels

This author has not been identified. Look up 'Virginie Wiels' in Google

Benjamin Monate

This author has not been identified. Look up 'Benjamin Monate' in Google