Hidden Safety Requirements in Large-Scale Systems.
Carl E. LandwehrPublished in: IFIP Congress (3) (1994)
Keyphrases
- management system
- design criteria
- real world
- safety critical
- real life
- intelligent systems
- data intensive
- machine learning
- user interface
- hidden markov models
- computer vision
- real time
- computer systems
- knowledge based systems
- building blocks
- learning systems
- small scale
- artificial intelligence
- formal methods
- real time systems
- databases