Photo by radowanrehan from unsplash
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks. Click to show full abstract
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.
Keywords:
formally verified;
real world;
software real;
verified software;
software
Journal Title: Communications of the ACM
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Communications of the ACM
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!