Runtime verification for interconnected medical devices

Martin Leucker, Malte Schmitz*, Danilo à Tellinghusen

*Corresponding author for this work
5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Runtime verification for interconnected medical devices'. Together they form a unique fingerprint.

Computer Science