Specification of Distributed Computing for Small Satellite Control
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Composable Coordination for Service Robots: A Model-Driven Approach
Heterogeneous Verification of an Autonomous Curiosity Rover
Validating Machine Learning-based Highly Automated Driving Functions by Diversity