A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems.
Maurice H. ter BeekAxel LegayAlberto Lluch-LafuenteAndrea VandinPublished in: IEEE Trans. Software Eng. (2020)
Keyphrases
- data driven approaches
- main contribution
- analysis tool
- expert systems
- modeling method
- conceptual framework
- bayesian framework
- colored petri nets
- modeling framework
- intelligent systems
- management system
- real time
- learning systems
- database
- qualitative and quantitative
- distributed systems
- complexity analysis
- source code
- image segmentation
- fundamental principles
- situation assessment
- machine learning