Formal Verification of a Safety Argumentation and Application to a Complex UAV System.

Julien Brunel, Jacques Cazin

Browse the full SAFECOMP paper archive.