Runtime Verification of Statechart Implementations.
Gergely PintérIstván MajzikPublished in: WADS (2004)
Keyphrases
- model checking
- efficient implementation
- face verification
- test cases
- signature verification
- verification method
- functional verification
- database
- high security
- person identification
- multiresolution
- relational databases
- learning environment
- bayesian networks
- artificial intelligence
- machine learning
- neural network
- real time