Towards Formal Modeling of Quality-driven Systems under uncertainty.
Souheir MerkoucheChafia BouanakaFatma KachiPublished in: ICAASE (2020)
Keyphrases
- complex systems
- dynamic aspects
- high quality
- reactive systems
- higher quality
- databases
- model checking
- data mining
- uncertain information
- formal methods
- formal model
- uncertain data
- data quality
- knowledge base
- learning systems
- knowledge based systems
- intelligent systems
- description logics
- management system
- learning algorithm