[Concurrency] PhD Project: Probabilistic Verification and
First sorry for using this list for a job posting, but I think the following research project is interesting for prospective PhD students.
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 […]