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

Adrian Groza Ioan Alfred Letia Anca Goron Sergiu Zaporojan

Published in: ICSEng (2014)

Keyphrases

unmanned aerial vehicles
computer systems
control software
software systems
formal methods
user interface
software development
pattern recognition
software architecture
artificial intelligence
high quality
software components