SPLLIFT

swMATH16431MaRDI QIDQ28301FDOQ28301

Author name not available (Why is that?)

Cited In (2)

• Variability encoding: from compile-time to load-time variability
• Trustworthy variant derivation with translation validation for safety critical product lines

This page was built for software: SPLLIFT