Towards the Pervasive Verification of Automotive Systems.
Thomas In der RiedenDirk LeinenbachWolfgang J. PaulPublished in: CHARME (2005)
Keyphrases
- database
- building blocks
- intelligent systems
- asynchronous circuits
- safety critical
- formal verification
- formal methods
- computing systems
- retrieval systems
- complex systems
- learning systems
- hidden markov models
- video sequences
- similarity measure
- case study
- information systems
- artificial intelligence
- learning algorithm
- neural network