research
∙
05/22/2020
Empowering Multilevel DSMLs with Integrated Runtime Verification
Within Model-Driven Software Engineering, Domain-Specific Modelling has ...
share
research
∙
07/10/2019
Runtime Verification For Timed Event Streams With Partial Information
Runtime Verification (RV) studies how to analyze execution traces of a s...
research
∙
08/31/2018
