Martin Leucker - ACSOS 2024

Mon 16 - Fri 20 September 2024 Aarhus, Denmark

Registered user since Sat 11 Feb 2017

Name:Martin Leucker

Country:Germany

Affiliation:University of Lübeck

Personal website: https://www.isp.uni-luebeck.de/leucker

Contributions

2024

ACSOS

Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service

Show activities from other conferences

ACSOS 2024-profile
View general profile