Model based verification of dynamically evolvable service oriented systems.
Yu ZhouJidong GePengcheng ZhangWeigang WuPublished in: Sci. China Inf. Sci. (2016)
Keyphrases
- model checking
- data driven
- concurrent systems
- verification method
- changing environment
- formal verification
- data mining
- dynamically changing
- signature verification
- data sets
- artificial intelligence
- decision making
- image segmentation
- three dimensional
- wide range
- neural network
- face verification
- formal analysis
- test generation