Bücher
Innovations in Signal Processing and Embedded Systems
2022
Applications of Networks, Sensors and Autonomous Systems Analytics
2021
Software Technology
2018
Provably Correct Systems
2017
SOFSEM 2017: Theory and Practice of Computer Science
2017
Autonomy Requirements Engineering for Space Missions
2014