Project title:
Probabilistic Verification and Model-Based Quality Evaluation
Research topic:
Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved successful at managing complexity associated with functionality. A new approach is to use model-based techniques also for quality evaluation and predictions. Since [...]
Popularity: 9% [?]





