Login / Signup
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