A Formal Approach to Constructing Secure Air Vehicle Software.
Darren D. CoferAndrew GacekJohn BackesMichael W. WhalenLee PikeAdam FoltzerMichal PodhradskyGerwin KleinIhor KuzJune AndronickGernot HeiserDouglas StuartPublished in: Computer (2018)
Keyphrases
- software tools
- software package
- software systems
- formal methods
- software design
- computer systems
- software development
- pedestrian detection
- software engineering
- embedded systems
- formal model
- test cases
- source code
- lightweight
- software developers
- distributed systems
- real time
- vehicle detection
- requirements specification
- data encryption