Modelling and Simulation of Spacecraft Hardware based on Machine Learning Techniques
PaTaS: Quality Assurance for Model-driven Software Development
Final Presentation of PATAS - Quality Assurance in Model-Driven Software Engineering for Spacecraft