The following pages link to Thomas Thüm (Q898604):
Displaying 6 items.
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- Understanding parameters of deductive verification: an empirical investigation of KeY (Q1791175) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
- On the benefits of knowledge compilation for feature-model analyses (Q6630715) (← links)
