Model-Based Verification in the Development of Dependable Systems.
Demissie B. AredoOlaf OwePublished in: ITCC (2) (2005)
Keyphrases
- safety critical
- distributed systems
- knowledge based systems
- computing systems
- case study
- database
- intelligent systems
- computer based information systems
- current trends
- formal methods
- development process
- learning systems
- software engineering
- expert systems
- digital libraries
- multi agent systems
- artificial intelligence