Verification of UML Model Elements Using B.
Ninh-Thuan TruongJeanine SouquièresPublished in: J. Inf. Sci. Eng. (2006)
Keyphrases
- computational model
- formal model
- probabilistic model
- high level
- statistical model
- software systems
- theoretical analysis
- database design
- theoretical framework
- face recognition
- neural network
- software engineering
- probability distribution
- cost function
- similarity measure
- neural network model
- image sequences
- state machine