Skip to main navigation
Skip to search
Skip to main content
University of Luebeck Home
English
Deutsch
Home
Research Units
Experts
Publications
Projects
Datasets
Prizes
Spin-Offs
Activities
Media
Search by expertise, name or affiliation
Runtime verification for interconnected medical devices
Martin Leucker
, Malte Schmitz
*
, Danilo à Tellinghusen
*
Corresponding author for this work
Institute of Software Engineering and Programming Languages
5
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Runtime verification for interconnected medical devices'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
runtime verification
100%
Communication Protocol
100%
Software Development Kit
50%
Application Area
25%
Device Communication
25%
Interface Specification
25%
Modelers
25%
Protocol Software
25%
Data Stream
25%