Martin Leucker
Martin Leucker
Affiliation: University of Luebeck
Pages in this Program
A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑