Validation-based development of dependable systems.
Jean ArlatJérome BouéYves CrouzetPublished in: IEEE Micro (1999)
Keyphrases
- knowledge based systems
- safety critical
- computing systems
- management system
- object oriented
- distributed systems
- learning systems
- computer based information systems
- artificial intelligence
- technical issues
- software developers
- complex systems
- user interface
- information technology
- database systems
- case study
- decision making