A Visual Verification System for Aircraft Cockpit Display Software.
Ali KaratanaHazim Kemal EkenelPublished in: SIU (2022)
Keyphrases
- software development
- real time
- software systems
- visual perception
- formal verification
- visual information
- model checking
- gaze contingent
- visual representation
- verification method
- visual features
- low level
- user interface
- software design
- case study
- face verification
- formal methods
- visual feedback
- software package
- hardware designs
- software developers
- computer systems
- source code
- high level
- neural network