Skip to main navigation
Skip to search
Skip to main content
University of Luebeck Home
English
Deutsch
Home
Research Units
Experts
Publications
Projects
Prizes
Spin-Offs
Activities
Media
Search by expertise, name or affiliation
Runtime verification revisited
Oliver Arafat, Andreas Bauer,
Martin Leucker
, Christian Schallhart
Institute of Software Engineering and Programming Languages
Technical University of Munich
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Runtime verification revisited'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
System Behavior
14%
Finite-State Machine
14%