Trustworthy and High Assurance Cyber-Physical Systems - A Research Agenda.
['Markus Tauber', 'Christian Wagner', 'Andreas Mauthe']
Trustworthy and High Assurance Cyber-Physical Systems - A Research Agenda.