A
Menu
April 14, 2024 conference-paper Open access

Daedalux: An Extensible Platform for Variability-Aware Model Checking

IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1145/3639478.3640043 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 0 stored of 0

References 1

1 result