External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying the Mathematical Library of an UAV Autopilot with Frama-C

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux. Verifying the Mathematical Library of an UAV Autopilot with Frama-C. In Alberto Lluch-Lafuente, Anastasia Mavridou, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12863 of Lecture Notes in Computer Science, pages 167-173, Springer, 2021. [doi]

Authors

Baptiste Pollien

This author has not been identified. Look up 'Baptiste Pollien' in Google

Christophe Garion

This author has not been identified. Look up 'Christophe Garion' in Google

Gautier Hattenberger

This author has not been identified. Look up 'Gautier Hattenberger' in Google

Pierre Roux

This author has not been identified. Look up 'Pierre Roux' in Google

Xavier Thirioux

This author has not been identified. Look up 'Xavier Thirioux' in Google
runs on