Sign in
Danilo à Tellinghusen
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Medical Devices
Wireless Networks
Location Aware
Finite State Machines
Top Venues
ISoLA (2)
</>
Publications
</>
Martin Leucker
,
Malte Schmitz
,
Danilo à Tellinghusen
Runtime Verification for Interconnected Medical Devices.
ISoLA (2)
(2016)