On the Architecture of System Verification Environments.
Mark A. HillebrandWolfgang J. PaulPublished in: Haifa Verification Conference (2007)
Keyphrases
- real time
- layered architecture
- management system
- neural network
- model checking
- data flow
- face verification
- loosely coupled
- formal verification
- architectural design
- cross platform
- database
- artificial intelligence
- e learning
- multimedia
- software architecture
- hardware implementation
- network architecture
- design considerations