Assurance Based Development of Critical Systems.
Patrick J. GraydonJohn C. KnightElisabeth A. StrunkPublished in: DSN (2007)
Keyphrases
- support systems
- management system
- knowledge based systems
- artificial intelligence
- expert systems
- distributed systems
- information processing
- complex systems
- programming environments
- real time
- safety critical
- development environment
- design tools
- software developers
- st century
- rapid development
- retrieval systems
- computer systems
- open source
- website
- computer vision
- neural network