A formal approach for identifying assurance deficits in unmanned aerial vehicle software.

Adrian Groza, Ioan Alfred Letia, Anca Goron, Sergiu Zaporojan

Browse the full ICSEng paper archive.