Performability Measure Specification: Combining CSRL and MSL.
Alessandro AldiniMarco BernardoJeremy SprostonPublished in: FMICS (2011)
Keyphrases
- similarity measure
- distance measure
- real time
- formal specification
- information theory
- image processing
- social networks
- website
- case study
- database systems
- machine learning
- data structure
- natural language
- relational databases
- probabilistic model
- mutual information
- neural network
- databases
- database
- formal methods
- reactive systems