Virtual Verification of System Designs against System Requirements.
Wladimir SchamaiPhilipp HellePeter FritzsonChristiaan J. J. ParedisPublished in: MoDELS (Workshops) (2010)
Keyphrases
- virtual environment
- design principles
- model checking
- virtual reality
- user requirements
- augmented reality
- multimodal biometrics
- database
- design requirements
- virtual teams
- formal methods
- face verification
- application specific
- multi agent systems
- multiscale
- three dimensional
- image processing
- information systems
- information retrieval
- neural network
- databases
- data sets